Question
Without using truth table show that -

(p ˅ q) ˄ (∼p v ∼q) ≡ (p ∧ ∼q) ˄ (∼p ∧ q)

Answer

(p ∨ q) ∧ (∼p ˅ ∼q)

≡ [(p ∨ q) ∧ ∼p] ∨ [(p ∨ q) ∧ ∼q] .......[Distributive Law]

≡ [(p ∧ ∼p) ∨ (q ∧ ∼p)] ∨ [(p ∧ ∼q) ∨ (q ∧∼q)] .......[Distributive Law]

≡ [F ∨ (q ∧ ∼p)] ∨ [(p ∧ ∼q) ∨ F] .......[Complement Law]

≡ (q ∧ ∼p) ∨ (p ∧ ∼q) .......[Identity Law]

≡ (p ∧ ∼q) ∨ (q ∧ ∼p) .......[Commutative Law]

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