Latihan
Buat tabel kebenaran dan gambarkan keadaan Joni yang diwakili oleh simbol-simbol berikut.
q =Joni mengangkat tangan kiri.
k =Joni mengangkat tangan kanan.
q \land k \neg (q \land k) \neg q \land \neg k q \lor k \neg (q \lor k) \neg q \lor \neg k q \land \neg k \neg q \lor k \neg (q \lor \neg k) q \land k \land \neg k
Buat tabel kebenaran dan gambarkan keadaan Joni yang diwakili oleh simbol-simbol berikut.
q =Joni mengangkat tangan kiri.
k =Joni mengangkat tangan kanan.
r =Joni mengangkat kaki kanan.
q \land k \land r q \lor k \lor r q \land (k \lor r) q \lor (k \land r) (q \lor k)\land(q \lor r) (q \land k)\lor(q \land r)
Tentukan yang dimaksudkan mencuri atau tidak mencuri oleh masing-masing orang.
- Ani:
Kulu dan Momo mencuri.
- Budi:
Kulu saja atau Momo saja yang mencuri.
- Cali:
Kulu atau Momo yang mencuri.
- Dabu:
Kulu dan Momo tidak mencuri.
- Ebong:
Kulu mencuri, tetapi Momo tidak.
- Fifi:
Kulu tidak mencuri, walaupun Momo mencuri.
- Gogon:
Yang mencuri bukan Kulu.
- Heru:
Kulu mencuri, atau Momo tidak mencuri.
- Ines: “Momo tidak mencuri, atau Kulu tidak mencuri, tetapi bukan keduanya.”
- Johan:
Kulu mencuri, Momo tidak, tetapi Nyanya mencuri.
- Ani:
Sandra baru saja membeli HP. Margono, pacarnya, tidak suka gonta-ganti HP, sehingga ia tetap memakai yang lama. Margono lebih memilih menggunakan uangnya untuk membeli sepatu baru, dan itulah yang baru saja dilakukannya kemarin. Sebaliknya, sepatu Sandra sudah rusak sana-sini tetapi ia tidak membeli yang baru.
m(x, y) =x baru saja membeliy baru.
Berdasarkan cerita di atas, terjemahkanlah kalimat-kalimat simbolik berikut menjadi bahasa Indonesia, dan tentukan nilai kebenarannya.- m(Sandra, HP)
- m(Margono, HP)
- m(Sandra, HP) ∧ m(Margono, sepatu)
- m(Margono, HP) ∧ m(Sandra, sepatu)
- m(Margono, HP) ∨ m(Sandra, HP)
- m(Margono, sepatu) ∨ m(Sandra, HP)
- m(Sandra, sepatu) ∨ ¬m(Margono, sepatu)
- m(Margono, HP) ∨ m(Sandra, sepatu) ∨ m(Sandra, HP)
- m(Margono, HP) ∨ m(Sandra, sepatu) ∨ ¬m(Sandra, Margono)
- m(Margono, HP) ∨ [m(Sandra, sepatu) ∧ ¬m(Sandra, HP)]
- ¬m(Margono, sepatu) ∧ [m(Sandra, sepatu) ∨ m(Sandra, HP)]
Berikutnya: Negasi dari konjungsi