GATEverse
← GATE CSE 1999

Q14

NATMarks unknown

Show that the formula [(∼p∨q)⇒(q⇒p)]\left[(\sim p \vee q) \Rightarrow (q \Rightarrow p)\right] is not a tautology. Let AA be a tautology and BB any other formula. Prove that (A∨B)(A \vee B) is a tautology.

Sign in to save attempts.

Loading…