Penggunaan Tabel Kebenaran untuk Menyelesaikan Masalah "Pembelian Neon FM"

Masalah :
Andamiro sedang menjual game arcade keluaran terbarunya yang bernama Neon FM. Berhubung stock yang dikeluarkan Andamiro cukup terbatas, maka 3 game center di Pontianak (Funstation, Amazone, dan Zona 2000) berembuk untuk menyepakati siapa yang ingin membeli Neon FM tersebut. Funstation berkata, jika Funstation membeli Neon FM, maka Amazone dan Zona 2000 tidak membeli Neon FM. Amazone berkata, Amazone membeli Neon FM hanya jika Zona 2000 membeli Neon FM. Zona 2000 berkata, Zona 2000 tidak membeli Neon FM jika Funstation berniat membeli Neon FM.

Game Center mana yang akhirnya membeli Neon FM?

Jawab :

Misal :
p = Funstation membeli Neon FM
q = Amazone membeli Neon FM
r = Zona 2000 membeli Neon FM

Premis :
Funstation = Jika Funstation membeli Neon FM, maka Amazone dan Zona 2000 tidak membeli Neon FM.
Amazone = Amazone membeli Neon FM hanya jika Zona 2000 membeli Neon FM.
Zona 2000 = Zona 2000 tidak membeli Neon FM jika Funstation berniat membeli Neon FM.

Notasi :
Funstation = p -> (~q ^ ~r)
Amazone = r -> q
Zona 2000 = ~r -> p

Untuk mengetahui game center mana yang akhirnya membeli Neon FM, kita dapat mencari jawabannya dengan tabel kebenaran dari premis dan notasi yang ada.

Menurut tabel kebenaran, akhirnya Zona 2000 yang membeli kabinet Neon FM.
Kenapa Zona 2000? Kenapa kolom ke-3 dan bukan kolom yang lain? Karna kolom ke-3 hanya memiliki 1 nilai benar.

Nama Kelompok 1 :
Hubertus Cahyo Argo D 031 12 014
Ray Putra Leonardo Tobing D 1041 15 1002
Muhlisun Amal D 1041 15 1052