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

Nama : Ahmad Huzai Fahri
NIM : 220170137
Mata Kuliah : Logika Informatika
Kelas : A6
Dosen Pengampu : Cut Agusniar, S.T., M.Cs

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
1.
a. [(¬P→R) ꓦ (P→Q)] ꓥ ¬R
P Q R ¬P ¬R ¬P→R P →Q ( ¬ P → R ) ꓦ ( P →Q) [ ( ¬ P → R ) ꓦ ( P → Q ) ]ꓥ
¬R
B B B S S B B B S

B B S S B B B B B

B S B S S S S S S

B S S S B B S B B

S B B B S B B B S

S B S B B S B B B

S S B B S B B B S

S S S B B S B B B

b. [( P ꓥ Q ) → ( P→Q )] ꓦ R

P Q R ¬P ¬P ꓥ Q PꓥQ (¬ P ꓥ Q) → (P → [(¬ P ꓥ Q) → (P → Q)]

Q) ꓦR
B B B S S B B B
B B S S S B B B
B S B S S S B B
B S S S S S B B
S B B B B B B B
S B S B B B B B
S S B B S B B B
S S S B S B B B

c. [(P→Q) ꓥ (¬Q ꓦ R) ] → (P ꓥ R)

P Q R ¬Q P→Q ¬Q ꓦ R PꓥR (P→Q) ꓥ ( (P→Q) ꓥ (¬Q ꓦ R)

¬Q ꓦ R) → (P ꓥ R)
B B B S B B B B B
B B S S B S S S S
B S B B S B B S B
B S S B S B S S B
S B B B B B S S B
S B S B B S S S B
S S B B B B S S B
S S S B B B S S B
 d. [(¬P→R) ꓦ (P→¬Q)] ꓥ (P→Q)

P Q R ¬P ¬P→R P →Q [(¬ P → R) ꓦ (
(¬ P → R) ꓦ ( P →Q )] ꓥ (
P →Q ) P →Q )
B B B S B B B B
B B S S B B B B
B S B S S S B S
B S S S S S B S
S B B B B B B B
S B S B B B B B
S S B B B B B B
S S S B B B B B

e. ( P→Q ) ꓦ ( P ꓥ R )

P Q R P →Q PꓥR ¿) ꓦ (P ꓥ R)
B B B B B B
B B S B S B
B S B S B B
B S S S S B
S B B B S B
S B S B S B
S S B B S B
S S S B S B

f. P→ ¬(P ꓥ Q)

P Q PꓥQ ¬ (P ꓥ Q) P→ ¬ (P ꓥ Q)
B B B S S
B S S B B
S B S B B
S S S B B

2.
a. ¬P : Benar
b. ¬Q : Salah
c. PꓥQ : Salah
d. ¬P ꓥ Q : Benar
e. P ꓥ¬Q : Salah
f. ¬P ꓥ¬Q : Salah