All mock tests are FREE till 31 December — register to save your progress

Which of the following are logically equivalent? A. ¬p → (q → r) and q → (p ∨ r) B. (p → q) → r and p → (q → r) C. (p → q) → (r → s) and (p → r) → (q → s)

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: A. A only

Explanation

A: both reduce to p ∨ ¬q ∨ r. B: p false, r false makes the first false and the second true. C: p true, q false, r false, s false makes them differ. Only A.

More Discrete Structures and Optimisation questions