Penggunaan Tabel Kebenaran untuk Menyelesaikan Masalah "Pelaku Pemerkosaan"

Dalam penyergapan tadi pagi, polisi menangkap 3 orang tersangka pelaku pemerkosaan yang diketahui bernama Parno, Cibul dan Bagas.
Pada saat diintrogasi menggunakan lie detector, ketiga tersangka itu memberikan masing-masing keterangan yang berbeda.

Parno : Cibul atau Bagas pelakunya
Cibul : Parno bukan pelakunya
Bagas : Jika saya pelakunya, maka Cibul bukan pelakunya

Berdasarkan hasil dari lie detector, diketahui hanya keterangan dari Bagas saya yang berkata jujur.

Penyelesaian :
p : Parno pelakunya
q : Cibul pelakunya
r : Bagas pelakunya

Diketahui :
(Parno) : q v r
(Cibul) : ~p
(Bagas) : r → ~q

Pembuktian tabel kebenaran

p : Parno pelakunya (T)
q : Cibul pelakunya (F)
r : Bagas pelakunya (F)

Setelah melihat tabel kebenaran di atas, dapat disimpulkan bahwa Parno pelakunya.

Anggota Kelompok :
Muhammad Nur Amin    (D1041151011)
Rezky Asyifa        (D1041151065)
Ronja            (D1041151017)