Penggunaan Tabel Kebenaran Untuk Menyelesaikan Masalah "Dompet yang hilang"

Seorang pemuda bernama Ridho Kurniawan sedang jalan jalan ke mall. ketika sampai di mall ia membeli baju dan ketika ingin melakukan pembayaran ternyata dompetnya hilang, ketika polisi melakukan penyidikan ditemukan tiga tersangka yaitu Roy, Ray, dan Raka. Ketika diintrogasi, mereka mengatakan : 

 

Roy   : Jika saya tidak bersalah maka pelakunya adalah Ray atau Raka

Ray   : Jika Raka tidak bersalah maka Roy bersalah

Raka : Saya tidak bersalah dan Ray bersalah

Dari hasil tes kebohongan yang dilakukan oleh polisi dinyatakan bahwa Ray suka berbohong dan yang lain selalu jujur.

Penyelesaian :

p : Roy bersalah

q : Ray bersalah

r : Raka bersalah

Roy  : ~p → q v r

Ray  : p → ~r

Raka : ~r ^ q

 

Dari tabel kebenaran terbukti bahwa si ray lah yang bersalah

Kelompok 13

Nama : Hari Abri Yanto

NIM   : D1041151034

Nama : Bogi Kris Katulistiyo

NIM   : D1041151032

Nama : Mery Rumondang Asima Manurung

NIM   : D1041151024