Penggunaan Tabel Kebenaran untuk Menyelesaikan Masalah "MALING AYAM"

pada suatu malam terjadi kasus pencurian ayam di desa tanjung hulu, diduga tersangka adalah seorang remaja laki-laki yang tinggal disamping rumah korban, dalam rumah tersebut terdapat 3 orang remaja laki-laki yang baru masuk di universitas tanjungpura yang bernama anyap, ego dan oktavianus, kemudian korban melaporkan 3 orang remaja tersebut kepada Pak RT. pada saat sidang di kantor RT 3 orang tersangka tersebut ditanyai oleh Pak RT, siapa yang telah mencuri ayam tersebut.
terdapatlah keterangan dari tiga remaja tersebut :

Anyap             : jika Ego  tidak bersalah maka Oktavianus juga tidak bersalah

Ego                 : saya tidak bersalah dan Oktavianus yang bersalah

Oktavianus     : Anyap atau Ego bersalah               

 Dari hasil tes kebohongan yang dilakukann oleh Pak Rt maka disimpulkan bahwa Anyap lah yang    bersalah dan yang lain berkata jujur:

Penyelesaian :
p : Ayap bersalah
q : Ego bersalah
r : Oktavianus bersalah

Diketahui :
ayap : -q →- r
ego   : -q ^ r
okta  :   p v q
 Pebuktian dengan tabel kebenaran :

p	q	r	~r	~q	Anyap (~q→ ~ r)	Ego (~q ^ r)	Oktavianus (p v q)
T	T	T	F	F	T	F	T
T	T	F	T	F	T	F	T
T	F	T	F	T	F	T	T
T	F	F	T	T	T	F	T
F	T	T	F	F	T	F	T
F	T	F	T	F	T	F	T
F	F	T	F	T	F	T	F
F	F	F	T	T	T	F	F

Setelah melihat tabel kebenaran di atas, dapat kita simpulkan bahwa Ego dan Oktavianus tidak bersalah dan yang bersalah adalah Anyap. 

p = F      q = T      r = T

Nama Kelompok :   

Anyap Lius                              =D1041151049

Ego Suparius ipo                     =D1041151051

Oktavianus Yohanes Wihang  =D1041151055