MATA KULIAH
ISIP4211
LOGIKA
A B C A AND B AND C
T T T T
T T F F
T F T F
T F F F
F T T F
F T F F
F F T F
F F F F
Disjungsi (OR)
Pernyataan majemuk dengan disjungsi (OR) menghasilkan nilai benar jika salah satu
atau lebih pernyataan tunggal yang terkait benar.
Dalam hal ini, pernyataan majemuk dapat ditulis sebagai berikut:
A OR B OR C
A B C A OR B OR C
T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T T
F F F F
Implikasi (IF...THEN)
Pernyataan majemuk dengan implikasi (IF...THEN) menghasilkan nilai benar jika
pernyataan awal benar dan pernyataan akibat juga benar, atau jika pernyataan awal
salah.
Dalam hal ini, pernyataan majemuk dapat ditulis sebagai berikut:
IF A THEN B THEN C
A B C IF A THEN B THEN C
T T T T
T T F F
T F T T
T F F F
F T T T
F T F T
F F T T
F F F T
2. Disjungsi adalah salah satu operasi logika yang menghubungkan dua pernyataan
dengan menggunakan operator "atau" (v). Nilai kebenaran dari disjungsi tergantung
pada nilai kebenaran dari pernyataan yang terhubung. Ada tiga jenis disjungsi yang
umum digunakan, yaitu disjungsi eksklusif, disjungsi inklusif, dan disjungsi alternative
1. Disjungsi Eksklusif (XOR)
Disjungsi eksklusif, dilambangkan dengan simbol XOR (^), menghasilkan nilai benar
(true) hanya jika salah satu pernyataan yang terhubung benar, tetapi tidak keduanya.
Jika kedua pernyataan benar atau kedua pernyataan salah, maka hasilnya adalah salah
(false).
Berikut adalah tabel kebenaran untuk disjungsi eksklusif:
Pernyataan 1 Pernyataan 2 Hasil
Benar Benar Salah
Benar Salah Benar
Salah Benar Benar
Salah Salah Salah
2. Disjungsi Inklusif (OR)
Disjungsi inklusif, dilambangkan dengan simbol OR (v), menghasilkan nilai benar (true)
jika salah satu atau kedua pernyataan yang terhubung benar.
Hanya jika kedua pernyataan salah, maka hasilnya adalah salah (false).
Berikut adalah tabel kebenaran untuk disjungsi inklusif:
Pernyataan 1 Pernyataan 2 Hasil
Benar Benar Benar
Benar Salah Benar
Salah Benar Benar
Salah Salah Salah
3. Disjungsi Alternatif (NOR)
Disjungsi alternatif, dilambangkan dengan simbol NOR (¬v), adalah kebalikan dari
disjungsi inklusif. Disjungsi ini menghasilkan nilai benar (true) hanya jika kedua
pernyataan yang terhubung salah.
Jika salah satu atau kedua pernyataan benar, maka hasilnya adalah salah (false).
Berikut adalah tabel kebenaran untuk disjungsi alternatif:
Pernyataan 1 Pernyataan 2 Hasil
Benar Benar Salah
Benar Salah Salah
Salah Benar Salah
Salah Salah Benar