Hukum dalam logika

1.   Hukum Komutatif (Cmm)

pÙq º qÙp

pVq º pVq

2.   Hukum Asosiatif (Ass)

(pÙq) Ùr º pÙ(qÙr)

(pVq)Vr  º pv(qVr)

3.   Hukum Distributif

pV(qÙr) º (pVq) Ù(pVr)

pÙ(qVr) º (pÙq)V(pÙr)

4.   Hukum De Morgan (De M)

~(pÙq) º ~pÙ~q

~(pVq) º ~pV~q

5.   Hukum Absorbsi (Abs)

pV(pÙq) º p

pÙ(pVq) º p

6.   Hukum Kesamaan

p Þ q º ~pVq

p Û q º (p Þ q) Ù (q Þ p)

7.   Hukum Identitas/tautologi

p = pÙp

q = qVq

8.   Hukum Ikatan

pVB º B

pÙS º S

9.   Hukum Negasi

pV~p º B

pÙ~p º S

10.               Hukum Negasi Ganda

~(~p) º p