Penggunaan Tabel Kebenaran Untuk Menyelesaikan Masalah "Pelaku Perampokan Bank"

Masalah:

Suatu hari terjadi perampokan di “Bank Toyib”. Perampok berhasil membawa kabur uang sebesar 1 Milyar Rupiah. Untungnya kejadian tersebut berhasil terekam kamera CCTV yang ada di Bank tersebut. Atas kerja keras pihak kepolisian, mereka berhasil melacak tempat persembunyian perampok tersebut disuatu rumah. Pihak kepolisian menangkap 3 orang bernama Halim, Tri dan Ahmed. Tapi, dalam rekaman CCTV hanya terlibat 2 orang dalam kejadian perampokan itu. Ketiga orangpun di introgasi dan didapatkan pernyataan sebagai berikut.

Halim    : Tri pelaku dan Ahmed bukan pelaku

Tri         : Jika Ahmed bukan pelaku maka Halim pelaku

Ahmed  : Saya bukan pelaku tapi Tri atau Halim pelaku

Misalkan semua berkata jujur. Tentukan dengan tabel kebenaran siapa dua diantara mereka yang merupakan pelaku perampokan?

Penyelesaian:

Misal   :  p = Halim bukan pelaku

         q = Tri bukan pelaku

         r = Ahmed bukan pelaku

Notasi : Halim  = ~q  ^ r

              Tri       = r -> ~p

         Ahmed = r ^ (~p V ~q)

Dari tabel kebenaran dapat di simpulkan bahwa pelakunya adalah Halim dan Tri

Kelompok 7
Uji Regien Iberto         (D1041151044)
Marlinda Puji Lestari   (D1041151056)
Royhan Restiandi         (D1041151078)