Hukum Proposisi
Hukum identitas: (p F) p(p T) p Hukum null/dominasi (p T) T(p F) F
Hukum negasi (p ~p) T(p ~p) F Hukum idempoten (p p) p(p p) p
Hukum involusi (negasi ganda) ~(~p) p Hukum penyerapan (absorpsi) p (p q) pp (p q) p
(p q) (p q) (p q) (p q) Hukum komutatif (p q) (p q) (p q) (p q) Hukum asosiatif P (q r) (p q) rp (q r) (p q) ∧r
~(p q) (~p ~q)~(p q) (~p ~q) Hukum distributif P (q r) (p q) (p r)p (q r) (p q) (p r) Hukum De Morgan ~(p q) (~p ~q)~(p q) (~p ~q)