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

Match List I with List II: match the logically equivalent propositions
List IList II
A. p → qI. (p ∧ q) ∨ (¬p ∧ ¬q)
B. ¬(p ∨ (¬p ∧ q))II. ¬p ∨ q
C. p ↔ qIII. ¬(p ∨ q)
D. ¬(p ↔ q)IV. ¬p ↔ q

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

Show answer & explanation

Correct answer: C. A-II, B-III, C-I, D-IV

Explanation

p → q ≡ ¬p ∨ q (A-II). ¬(p ∨ (¬p ∧ q)) = ¬(p ∨ q) by absorption (B-III). p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q) (C-I). ¬(p ↔ q) ≡ ¬p ↔ q (D-IV).

More Discrete Structures and Optimization questions