Contoh Soal Ekuivalensi Ekspresi Logika
Sabtu, 18 April 2020
Tambah Komentar
Nama : Anggi Dwi
Kurniawan
NPM :
1915061021
MK : Logika
(Tugas Membuat Soal)
1. Buatlah
tabel kebenaran dengan semua kemungkinan nilai kebenarannya dari ekspresi
logika berikut dan tentukan apakah ekspresi logika berikut ini termasuk
tautologi, kontradiksi, atau contingent.
a.
(~A v ~B)
|
A
|
B
|
~A
|
~B
|
~A
v ~B
|
|
T
|
T
|
F
|
F
|
F
|
|
T
|
F
|
F
|
T
|
T
|
|
F
|
T
|
T
|
F
|
T
|
|
F
|
F
|
T
|
T
|
T
|
Contingent
b.
(((A ᴧ B) v c) ↔ ~C)
|
A
|
B
|
C
|
~C
|
A ᴧ
B
|
((A
ᴧ B) v C)
|
(((A
ᴧ B) v c) ↔ ~C)
|
|
T
|
T
|
T
|
F
|
T
|
T
|
F
|
|
T
|
T
|
F
|
T
|
T
|
T
|
T
|
|
T
|
F
|
T
|
F
|
F
|
T
|
F
|
|
T
|
F
|
F
|
T
|
F
|
F
|
F
|
|
F
|
T
|
T
|
F
|
F
|
T
|
F
|
|
F
|
T
|
F
|
T
|
F
|
T
|
T
|
|
F
|
F
|
T
|
F
|
F
|
T
|
F
|
|
F
|
F
|
F
|
T
|
F
|
F
|
F
|
Contingent
c.
((~A ᴧ B)→ C) v A
|
A
|
B
|
C
|
~A
|
~A
^ B
|
((~A
ᴧ B)→ C)
|
((~A ᴧ B)→ C) v A
|
|
T
|
T
|
T
|
F
|
F
|
T
|
T
|
|
T
|
T
|
F
|
F
|
F
|
T
|
T
|
|
T
|
F
|
T
|
F
|
F
|
T
|
T
|
|
T
|
F
|
F
|
F
|
F
|
T
|
T
|
|
F
|
T
|
T
|
T
|
T
|
T
|
T
|
|
F
|
T
|
F
|
T
|
T
|
F
|
F
|
|
F
|
F
|
T
|
T
|
F
|
T
|
T
|
|
F
|
F
|
F
|
T
|
F
|
T
|
T
|
Contingent
2.
A. Buktikan ekuivalensi ~(A v ~B)
v (~A ~B) ≡ ~A
B. Buat tabel kebenaran
Jawab:
A. ~(A v ~B) v (~A ~B)
(~A B) v (~A ~B)
~A(B v ~B)
~A ………..(terbukti)
B. Tabel Kebenaran
|
A
|
B
|
~A
|
~B
|
~(A
v ~B)
|
(~A~B)
|
~(A v ~B) v (~A ~B)
|
|
T
|
T
|
F
|
F
|
F
|
F
|
F
|
|
T
|
F
|
F
|
T
|
F
|
F
|
F
|
|
F
|
T
|
T
|
F
|
T
|
F
|
T
|
|
F
|
F
|
T
|
T
|
T
|
T
|
T
|
3. Buktikan kalimat ini ekuivalen
A. Dina bermain congklak dan membawa boneka
B. Dina membawa boneka dan bermain congklak
Jawab :
P = Dina Bermain Congklak
Q = Dina Membawa Boneka
A. P ᴧ Q
B. Q ᴧ P
|
P
|
Q
|
P ᴧ Q
|
Q ᴧ P
|
|
T
|
T
|
T
|
T
|
|
T
|
F
|
F
|
F
|
|
F
|
T
|
F
|
F
|
|
F
|
F
|
F
|
F
|
Belum ada Komentar untuk "Contoh Soal Ekuivalensi Ekspresi Logika"
Posting Komentar