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

Match List I with List II (logically equivalent expressions)
List IList II
(a) P ∧ (P → Q)(I) P ∨ Q
(b) ¬(P ∨ Q) → (P ∧ Q)(II) (P ∧ ¬P) ∨ (P ∧ Q)
(c) P → Q(III) (¬P) ∨ Q
(d) P ∨ (Q ∧ R)(IV) (P ∧ P) ∨ (P ∧ Q) ∨ (P ∧ R) ∨ (Q ∧ R)

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

Show answer & explanation

Correct answer: B. (a)-(II), (b)-(I), (c)-(III), (d)-(IV)

Explanation

P ∧ (P → Q) ≡ P ∧ Q ≡ (P ∧ ¬P) ∨ (P ∧ Q) (a-II). ¬(P ∨ Q) → (P ∧ Q) ≡ (P ∨ Q) ∨ (P ∧ Q) ≡ P ∨ Q (b-I). P → Q ≡ ¬P ∨ Q (c-III). The remaining pair is d-IV.

More Discrete Structures and Optimisation questions