KEMENTERIAN PENDIDIKAN, KEBUDAYAAN, RISET DAN TEKNOLOGI

UNIVERSITAS MALIKUSSALEH
FAKULTAS TEKNIK
PRODI TEKNIK INFORMATIKA
Jalan Batam, Blang Pulo, Muara Batu-Lhokseumawe – Aceh (24352)
Telepon. (0645) 41373- 40915 Faks. 0645-44450
Laman : http://informatika.unimal.ac.id Email: informatika@unimal.ac.id

TUGAS LOGIKA INFORMATIKA

1. Buktikan bahwa pernyataan majemuk tersebut menggunakan tabel kebenaran :

a. [(¬P→R) ꓦ (P→Q)] ꓥ ¬R
b. [( PꓥQ ) → ( P→Q )] ꓦ R
c. [(P→Q) ꓥ (¬Q ꓦ R) ] → (PꓥR)
d. [(¬P→R) ꓦ (P→¬Q)] ꓥ (P→Q)
e. ( P→Q ) ꓦ ( PꓥR )
f. P→ ¬(PꓥQ)

2. Misalkan P adalah pernyataan yang bernilai salah dan Q adalah pernyataan yang bernilai
benar, tentukan nilai kebenaran dari tiap pernyataan berikut :
a. ¬P
b. ¬Q
c. PꓥQ
d. ¬PꓥQ
e. Pꓥ¬Q
f. ¬Pꓥ¬Q

Selamat Mengerjakan.