[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.