Penggunaan Tabel Kebenaran untuk Menyelesaikan Masalah "Mencari Mahasiswa Universitas Tanjungpura"

Universitas Tanjungpura mengadakan perlombaan catur khusus untuk Mahasiswa Universitas Tanjungpura. Pada suatu hari ada tiga orang yang ingin mendaftar dalam perlombaan tersebut dan mengaku sebagai mahasiswa Universitas Tanjungpura. Agar tiga orang itu dapat mengikuti perlombaan ini, pihak penyelenggara mengecek kebenarannya dan meminta beberapa pernyataan dari mereka.

• Arif mengatakan saya kuliah di Universitas Tanjungpura maka Rio atau Dewi tidak kuliah disana.
• Rio mengatakan jika arif kuliah di Universitas Tanjungpura dan Dewi tidak kuliah di Universitas Tanjungpura.
• Dewi mengatakan saya kuliah di Universitas Tanjungpura dan Arif tidak kuliah di Universitas Tanjungpura.

Diketahui bahwa Dewi adalah orang dikenal sebagai pembohong.

benarkah Dewi yang berbohong?

p= Arif kuliah di Universitas Tanjungpura

q= Rio kuliah di Universitas Tanjungpura

r= Dewi kuliah di Universitas Tanjungpura

Solusi

p=>(-q v -r)
p ^ -r
r ^ -p

Berdasarkan tabel kebenaran pada baris ke-2, pernyataan p bernilai benar, q bernilai benar, dan r bernilai salah maka dapat diketahui bahwa Dewi memang berbohong.

Nama Anggota Kelompok:

1. Dewi Yanti Klau (D1041151048)

2. Fitrianto Nurma'arif (D1041151028)

3. Rio Naldi (D1041151080)