GATE | GATE CS 1999 | Question 62
[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