Professional Documents
Culture Documents
Sumber Literatur :
1. http://www.cise.ufl.edu/cot3100/lects/Module-1-Logic.ppt
2. http://informatika.org/~rinaldi/Buku/Matematika%20Diskrit/Bab-01%20Log
1. KONSEP LOGIKA
2. LOGIKA PROPOSISI
3. LOGIKA PREDIKAT
4. FUZZY SET
5. LOGIKA FUZZY
1. KONSEP LOGIKA
p q pΛq
T T T
T F F
F T F
F F F
2.2.3. Operator Disjungsi
• Operator biner disjungsi “V” (OR)
menggabungkan dua proposisi untuk
membentuk logika disjungsinya
Maknanya seperti “dan/atau” dalam bahasa Indonesia
∨
Tabel Kebenaran Disjungsi
p q pVq
T T T
T F T
F T T
F F F
2.2.4.Operator Exclusive Or
• Operator biner exclusive-or “⊕” (XOR)
menggabungkan dua proposisi untuk
membentuk logika “exclusive or”-nya
• Contoh :
p = Saya akan mendapat nilai A di kuliah ini
q = Saya akan drop kuliah ini
p ⊕ q = Saya akan mendapat nilai A atau saya
akan drop kuliah ini (tapi tidak dua-duanya!)
Tabel Kebenaran Exclusive-Or
p q p⊕ q
T T F
T F T
F T T
F F F
p q p →q
T T T
T F F
F T T
F F T
p q p↔q
T T T
T F F
F T F
F F T
⊕ →
V
¬ V ↔
Contoh :
¬p V q ≡ (¬p ) V q
p Λ q V r ≡ (p Λ q) V r
p → q V r ≡ p → (q V r)
p ↔ q → r ≡ p ↔ (q → r)
2.2.8. Left Associate Rules
untuk operator/ penghubung yang setara digunakan left
associate rule dimana operator sebelah kiri punya
precedence lebih tinggi
Contoh :
p V q V r ≡ (p V q) V r
p → q → r ≡ (p → q) → r
Ringkasan Operator Boolean
T F F T F T F F
F T T T F T T F
F F T F F F T T
Notasi Alternatif