Anda di halaman 1dari 5

LOGIKA INFORMATIKA

(Pertemuan 6 – Ekivalen & Hukum Logika)


Program Studi Sistem Informasi
Fakultas Teknologi Industri
Universitas Atma Jaya Yogyakarta
Ekivalen

 Dua proposisi disebut ekivalen jika kedua


proposisi tersebut mempunyai nilai kebenaran
yang sama.
Contoh :
(pq)  (pq)  q
HUKUM-HUKUM LOGIKA

1. KOMUTATIF
pq  qp pq  qp
2. ASOSIATIF
(pq)r  p(qr) (pq)r  p(qr)
3. DISTRIBUTIF
p(qr)  (pq)(pr)
4. IDENTITAS
p0  p p1  p
HUKUM-HUKUM LOGIKA (2)

5. Negasi
pp  0 pp 1
6. Idempoten
pp p pp p
7. Nul
p0  0 p1 1
HUKUM-HUKUM LOGIKA (3)

8. Absorbsi
p(pq)  p p(pq) p
9. De Morgan
(pq) (p)(q)  (pq)  (p)(q)
10. Involusi
 (p)  p

Anda mungkin juga menyukai