Penggunaan tabel kebenaran untuk menyelesaikan masalah "HACKER"

              Pada suatu hari 3 orang hacker tertangkap oleh pihak keamanan negara,karena diduga menbobol akun Negara. 3  orang tersebut bernama Maulana,Elita,Jonathan,pada saat diintrogasi  mareka mengatakan kepada pihak keamanan negara :

1. Maulana mengatakan jika elita bersalah maka saya bersalah dan jonathan tidak bersalah

2.Elita mengatakan jika saya tidak bersalah  atau jonathan bersalah maka maulana bersalah

3.Jonathan mengatakan jika saya bersalah maka maulana tidak bersalah dan elita bersalah

Dari ketiga pernyatan tersebut diketahui bahwa Elita dan Jonathan berkata  jujur sedangkan Maulana berbohong.

Soalnya : siapakah yang membobol akun Negara tersebut ?

Penyelesaian :

Diketahui jika:

 p : Maulana bersalah

q  : Elita bersalah

r  : Jonathan bersalah

Premisnya :

1. Maulana mengatakan jika elita bersalah maka saya bersalah dan jonathan tidak bersalah

2.Elita mengatakan jika saya tidak bersalah  atau jonathan bersalah maka maulana bersalah

3.Jonathan mengatakan jika saya bersalah maka maulana tidak bersalah dan elita bersalah

Notasi :

Maulana (M) : q ->(p^~r)                                    

Elita         (E)    : (~q v r)->p

Jonathan (J)   : r->(~P^q)

Untuk mengetahui siapa yang membobol akun Negara.kita dapat mencarinya menggunakan table kebenaran dari premis dan fakta yang ada.

penjelasan:

-karena pernyataan maulana (M) BOHONG  maka, kita ambil pernyataan maulana (M) yang bernilai SALAH (S).
-sedangkan pernyataan Elita  (E) dan Jonathan (J) JUJUR  maka, kita ambil pernyataan Elita (E)  dan Jonathan (J) yang bernilai BENAR (B)
- pernyataan  yang memiliki tiga syarat diatas yaitu pernytaan M=S, E=B, dan J=B terdapat pada baris ke-6 tabel kebenaran dengan hasil sebagai berikut:
Notasi p bernilai salah = Maulana tidak bersalah
Notasi q bernilai benar= Elita bersalah
Notasi  r bernilai salah =Jonathan tidak bersalah

Jadi menurut table  kebenaran dapat disimpulkan bahwa Elita yang bersalah (yang membobol akun Negara).

Nama kelompok:

Muhammad Maulana

(D1041151068)

Elita Da Nella

(D1041151070)

Jonathan Onna Patalas

(D1041151046)