Question
Determine whether the following statement patterns is a tautology or a contradiction or a contingency:
[p → (~q ∨ r)] ↔ ~[p → (q → r)]

Answer

[p → (~q ∨ r)] ↔ ~[p → (q → r)]
Image
All the entries in the last column of the above truth table are F.
∴ [p → (~q ∨ r)] ↔ ~[p → (q → r)] is a contradiction.

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free