KEBENARAN
Tabel Kebenaran (1)
A B A˄B
F F ?
Baris F T ?
kombinasi T F ?
T T ?
Tabel Kebenaran (4)
Perangkai Simbol
Dan (konjungsi) ˄
Atau (disjungsi) ˅
Tidak/bukan (negasi) ¬
Jika…maka… (implikasi) →
Jika dan hanya jika (ekuivalensi) ↔
Negasi
A ¬A ¬¬A
F T F
T F T
Konjungsi
A B A˄B
F F F
F T F
T F F
T T T
• Lulus Mata Kuliah Logika Informatika harus rajin belajar dan masuk kuliah
• A = Rajin belajar
• B = Rajin masuk kuliah
1. Lulus Mata Kuliah Logika Informatika harus rajin belajar (F) dan masuk kuliah (F): A ˄ B = (F) ˄ (F) =
F
2. Lulus Mata Kuliah Logika Informatika harus rajin belajar (F) dan masuk kuliah (T): A ˄ B = (F) ˄ (T) =
F
3. Lulus Mata Kuliah Logika Informatika harus rajin belajar (T) dan masuk kuliah (F): A ˄ B = (T) ˄ (F) =
F
4. Lulus Mata Kuliah Logika Informatika harus rajin belajar (T) dan masuk kuliah (T): A ˄ B = (T) ˄ (T) =
T
Soal
F F F
F F T
F T F
F T T
T F F
T F T
T T F
T T T
Disjungsi
A B A˅B
F F F
F T T
T F T
T T T
• Syarat bekerja di perusahaan ABC adalah lulus dengan IPK 3.5 atau memiliki pengalaman kerja
minimal 2 tahun
• A = IPK 3.5
• B = pengalaman kerja minimal 2 tahun
1. Syarat bekerja di perusahaan ABC adalah lulus dengan IPK 3.5 (F) atau memiliki pengalaman kerja
minimal 2 tahun (F): A ˅ B = (F) ˅ (F) = F
2. Syarat bekerja di perusahaan ABC adalah lulus dengan IPK 3.5 (F) atau memiliki pengalaman kerja
minimal 2 tahun (T): A ˅ B = (F) ˅ (T) = T
3. Syarat bekerja di perusahaan ABC adalah lulus dengan IPK 3.5 (T) atau memiliki pengalaman kerja
minimal 2 tahun (F): A ˅ B = (T) ˅ (F) = T
4. Syarat bekerja di perusahaan ABC adalah lulus dengan IPK 3.5 (T) atau memiliki pengalaman kerja
minimal 2 tahun (T): A ˅ B = (T) ˅ (T) = T
Soal
F F F
F F T
F T F
F T T
T F F
T F T
T T F
T T T
Implikasi
A B A→B
F F T
F T T
T F F
T T T
• Jika sore ini cerah maka saya akan bermain sepak bola
• A = sore ini cerah
• B = bermain sepak bola
1. Jika sore ini cerah (F) maka saya akan bermain sepak bola (F): A → B = (F) → (F) = T
2. Jika sore ini cerah (F) maka saya akan bermain sepak bola (T): A → B = (F) → (T) = T
3. Jika sore ini cerah (T) maka saya akan bermain sepak bola (F): A → B = (T) → (F) = F
4. Jika sore ini cerah (T) maka saya akan bermain sepak bola (T): A → B = (T) → (T) = T
Ekuivalensi
A B A↔B
F F T
F T F
T F F
T T T
1. Saya mendapatkan gaji (F) jika dan hanya jika saya bekerja (F): A ↔B = (F) ↔(F) = T
2. Saya mendapatkan gaji (F) jika dan hanya jika saya bekerja (T): A ↔B = (F) ↔(T) = F
3. Saya mendapatkan gaji (T) jika dan hanya jika saya bekerja (F): A ↔B = (T) ↔(F) = F
4. Saya mendapatkan gaji (T) jika dan hanya jika saya bekerja (T): A ↔B = (T) ↔(T) = T
Aturan Tabel Kebenaran
a. pʌq
b. p ʌ ¬q
c. ¬p ʌ¬q
d. ¬ (¬p v ¬q)
e. P v ( ¬p ʌ q)
f. ¬ ( ¬p ʌ ¬q)
Soal
2. Misalkan A,B,dan C adalah variabel proposisional:
A = Anda sakit Flu
B = Anda ujian
C = Anda Lulus
Ubahlah ekspresi logika berikut menjadi pernyataan dalam bahasa
indonesia
•A→ ¬B
•B → ¬C
• ¬B → C
•(A ʌ B) → C
•(A → ¬C) v (B→ ¬C)
•(A ʌ B) v (¬B ʌ C)
Soal
3. Buatlah tabel kebenaran dengan semua kemungkinan nilai
kebenaran dari ekspresi-ekspresi logika berikut ini :
a.¬ (¬A ʌ ¬B)
b.A ʌ (A v B)
c.(( ¬A ʌ (¬B ʌ C)) v (B ʌ C)) v (A ʌ C)
d.(A ʌ B) v (((¬A ʌ B) → A) ʌ ¬B)
e.(A→B) ↔ (¬B → ¬A)
f.A ʌ ((C v B) ↔ ¬C)
g.¬((A ʌ B) → ¬C) v A