Penggunaan Tabel Kebenaran untuk Menyelesaikan Masalah "Memilih Kekasih Hati"

Permasalahan :

Diera adalah seorang gadis cantik yang banyak memikat hati para lelaki yang ada di sekitarnya. Dari sekian banyak orang yang mengaguminya, hanya ada 3 orang saja yang berani menyatakan perasaannya untuk menjadikan Diera sebagai kekasihnya.
Ketiga orang itu adalah Dion, Marco, dan Hector. Dari ketiga orang ini, Diera kemudian memilih satu orang sebagai kekasihnya berdasarkan apa yang dijanjikan oleh mereka bertiga. Masing-masing dari mereka berkata demikian :

Cinta bagaikan api lilin yang memberi kehangatan, hmm..

• Dion : Demi cintaku, aku akan mencintai kamu sepenuh hati, tentunya hanya jika aku tak disuruh membangun seribu candi dalam semalam. Maukah kau menerimaku?
• Marco : Demi sayangku kepadamu, kamu bebas memilih untuk menggunakan anggaran kartu kredit yang tak terbatas untuk belanja, atau menyuruhku membangun seribu candi dalam semalam untuk membuktikan cintaku, namun kamu tak bisa memilih keduanya sekaligus.
• Hector : Demi menjadi kekasihmu, aku akan mencintaimu sepenuh hati, tetapi maafkan aku karena anggaran kartu kredit untuk belanjamu masih terbatas.

Dari ketiganya, akhirnya Diera memilih menjadikan Marco sebagai kekasih hatinya. 

Nah, sebenarnya, janji apasih yang diharapkan Diera?

Jawab : 

Misal :

p : membangun seribu candi dalam semalam

q : mencintai sepenuh hati 

r : anggaran kartu kredit yang tidak terbatas

Nah, pernyataan mereka bertiga kita bikin dalam bentuk logika, jadi seperti ini : 

Dion     : ~p → q

Marco  : r  ⊕ q

Hector : q  ∧ ~r

Lalu kita bikin tabel kebenaran seperti dibawah ini : 

Tabel kebenaran

Lihat kembali soalnya, dari ketiganya, Marco akhirnya berhasil merebut hati Diera, sedangkan yang lain akhirnya patahh hatiiii, itu artinya, kita lihat pernyataan logika yang dimana pernyataan Marco bernilai Benar/True dan yang lainnya Salah/False.  Perhatikan baris yang diwarna Merah,

Setelah itu, dalam baris yang sama, lihat nilai premis p, q, dan r , terlihat bahwa nilai ketiga premis itu masing masing False , False , dan True. 

Dari sini dapat ditarik kesimpulan bahwa janji yang diharapkan oleh Diera adalah anggaran kartu kredit yang tidak terbatas   Whow ! Mantap juga syaratnya ....

Tugas ini adalah tugas kelompok yang dikerjakan oleh : 

1. Nama : David Eleazar
   NIM    : D1041151025
2. Nama : Andi Arung Rizkiyah
   NIM    : D1041151041
3. Nama : Melati Wulandari
   NIM    : D1041151079