Open In App

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 Question
Please comment below if you find anything wrong in the above post


Last Updated : 09 Oct, 2017
Like Article
Save Article
Previous
Next
Share your thoughts in the comments
Similar Reads