D. Hukum-hukum Logika Proposisi

1. Hukum Identas

(i) p v F ↔ p

(ii) p Λ T ↔ p

2. Hukum null/Dominasi

(i) p Λ F ↔  F

(ii) p v T ↔ T

3. Hukum Negasi

(i) p v ~p ↔ T

(ii) p Λ ~p ↔ F

4. Hukum idempoten

(i) p v p ↔ p

(ii) p Λ p ↔ p

5. Hukum Involusi(negasi ganda)

(i) ~ (~p) ↔ p

6. Hukum Penyerapan (absorpsi)

(i) p v (p Λ q) ↔ p

(ii) p Λ (p v q) ↔ p

7. Hukum komutatif

(i) p v q ↔ q  v  p

(ii) p Λ q ↔ q Λ p

8. Hukum assosiatif

(i) p v (q v r) ↔ (p v q) v r

(ii) p Λ (q Λ r ) ↔ (p Λ q) Λ r

9. Hukum Distributif

(i) p v (q Λ r) ↔ (p v q) Λ (p v r)

(ii) p Λ (q v r ) ↔ (p Λ q) v (p Λ r)

10. Hukum De Morgan

(i) ~(p Λ q) ↔ ~p v ~q

(ii) ~(p v q) ↔ ~p Λ ~q

Sumber :

http://ucup33.student.umm.ac.id/files/2010/08/MATEMATIKA-DISKRIT.ppt

http://hanungnindito.files.wordpress.com/2008/06/matematika-diskrit.ppt

http://pksm.mercubuana.ac.id/new/elearning/files_modul/15004-1-158886357651.doc