Question
Without using truth table show that -
(p ˅ q) ˄ (∼p v ∼q) ≡ (p ∧ ∼q) ˄ (∼p ∧ q)
(p ˅ q) ˄ (∼p v ∼q) ≡ (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]
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
$4 y^2=9 x$ and $3 x^2=16 y$