GATE | GATE CS 1999 | Question 62 Improve Improve Like Article Like Save Share Report [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. Answer: Explanation: Quiz of this QuestionPlease comment below if you find anything wrong in the above post Last Updated : 09 Oct, 2017 Like Article Save Article Previous GATE | GATE CS 1999 | Question 26 Next GATE | GATE CS 1999 | Question 63 Share your thoughts in the comments Add Your Comment Please Login to comment...