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
