Logika Informatika-Ekivalen
Logika Informatika-Ekivalen
1. KOMUTATIF
pq qp pq qp
2. ASOSIATIF
(pq)r p(qr) (pq)r p(qr)
3. DISTRIBUTIF
p(qr) (pq)(pr)
4. IDENTITAS
p0 p p1 p
HUKUM-HUKUM LOGIKA (2)
5. Negasi
pp 0 pp 1
6. Idempoten
pp p pp p
7. Nul
p0 0 p1 1
HUKUM-HUKUM LOGIKA (3)
8. Absorbsi
p(pq) p p(pq) p
9. De Morgan
(pq) (p)(q) (pq) (p)(q)
10. Involusi
(p) p