Skip to content
Related Articles

Related Articles

Improve Article
GATE | GATE CS 1999 | Question 62
  • Last Updated : 09 Oct, 2017

[5 Marks question]

a.  Show that the formula [(~p ∨ q) ⇒ (q⇒ p)] is not a tautology.

b.  Let A be a tautology and B be any other formula. Prove that (A ∨ B) is a tautology.





Quiz of this Question
Please comment below if you find anything wrong in the above post

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 :