Answer to Question #309807 in Discrete Mathematics for JunArong

Question

Show that  p⟷q and (p∧ q) V (¬p ∧ ¬q) are logically equivalent.

Answer 1

Let us show that $p ↔ q$ and $(p ∧ q) ∨ (¬p ∧ ¬q)$ are logically equivalent. It follows that

$p ↔ q=(p\to q)\land (q\to p) \\=(\neg p\lor q)\land (\neg q\lor p) \\=(\neg p\land\neg q)\lor(\neg p\land p)\lor(q\land\neg q)\lor(q\land p) \\=(\neg p\land\neg q)\lor F\lor F\lor(q\land p) \\=(\neg p\land\neg q)\lor (p\land q) \\= (p\land q)\lor (\neg p\land\neg q).$