Question
Using the truth table, prove the following logical equivalences:
p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)

Answer

p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)
Image
The entries in columns 3 and 10 are identical.
∴ p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)

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