Hukum Logika

Hukum logika

• 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)

• Hukum identitas

p ∧ B ≡ p
p ∨ S ≡ p

• Hukum ikatan

p ∧ S ≡ S
p ∨ B ≡ B

• Hukum negasi

p ∧ ~p ≡ S
p ∨ ~p ≡ B

• Hukum negasi ganda

~(~p) ≡ p

• Hukum idempotent

p ∧ p ≡ p
p ∨ p ≡ p

• Hukum De Morgan

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

• Hukum penyerapan

p ∧ (p ∨ q) ≡ p
p ∨ (p ∧ q) ≡ p

• Negasi B dan S

~B ≡ S
~S ≡ B