Beberapa contoh Ekuivalen pada logika matematika,
Hukum De Morgan
Hukum De Morgan
- ~(p ∧ q) ≡ ~p ∨ ~q
- ~(p ∨ q) ≡ ~p ∧ ~q
- p ∧ q ≡ q ∧ p
- p ∨ q ≡ q ∨ p
- (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
- (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
- p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
