Skip to content
Related Articles

Related Articles

Improve Article
GATE | GATE CS 2021 | Set 1 | Question 17
  • Last Updated : 24 May, 2021

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.

My Personal Notes arrow_drop_up
Recommended Articles
Page :