Ekuivalen Pada Logika Matematika

Beberapa contoh Ekuivalen pada logika matematika,
Hukum De Morgan

• ~(p ∧ q) ≡ ~p ∨ ~q
• ~(p ∨ q) ≡ ~p ∧ ~q

Hukum komutatif

• p ∧ q ≡ q ∧ p
• p ∨ q ≡ q ∨ p

Hukum asosiatif

• (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
• (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

Hukum distributif

• p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
• p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)