Consider the following transactions with data items P and Q initialized to zero:

T1 : read (P) ; 
     read (Q) ; 
     if P = 0 then Q : = Q + 1 ; 
     write (Q). 

T2 : read (Q) ; 
     read (P) 
     if Q = 0 then P : = P + 1 ; 
     write (P).

Any non-serial interleaving of T₁ and T₂ for concurrent execution leads to

What is the minimal form of the Karnaugh map shown below? Assume that $$X$$ denotes a don’t care term.

Consider the following logical inferences.
$${{\rm I}_1}:$$ If it rains then the cricket match will not be played. The cricket match was played.
Inference: there was no rain.

$${{\rm I}_2}:$$ If it rains then the cricket match will not be played. It did not rain
Inference:the cricket match was played. which of the following is TRUE?

What is the correct translation of the following statement into mathematical logic? "Some real numbers are rational"