Let p and q be two propositions. Consider the following two formulae in propositional logic.

S1:  (¬p∧(p∨q))→q
S2:  q→(¬p∧(p∨q)) 

Which one of the following choices is correct?
(A) Both S1 and S2 are tautologies.
(B) S1 is a tautology but S2 is not a tautology
(C) S1 is not a tautology but S2 is a tautology
(D) Niether S1 nor S2 is a tautology


Answer: (B)

Explanation: S1: (¬p∧(p∨q))→q = p'(p+q) → q = p + p’q’ + q = p + q’ + q = p + true = Tautology

S2: q→(¬p∧(p∨q)) = q’ + p'(p+q) = q’ + p’q = q’ + p’ = (p.q)’ = Contingency

Contingency = neither tautology nor contradiction.

Quiz of this Question

Attention reader! Don’t stop learning now. Learn all GATE CS concepts with Free Live Classes on our youtube channel.