NAMA : MUHAMMAD RICKY PRAWIRANEGARA

NIM : 202010370311065
CLASS : B (INFORMATIKA)

JAWABAN UTS LOGKOM

1. A = Anang kuliah di Teknik Informatika

B = Titis kuliah di Teknik Informatika
C = Anang mengikuti Gemastik
D = Titis mengikuti Gemastik

Maka : (A  B)
(C  D) Menjadi : (((A  B)  (C D ))  (B  D))  (A 
C)
(B  D)
(A  C)

A B C D   C D AB CD    A  C
T T T T F F F F T T T T
T T T F F F F T T F T T
T T F T F F T F T T T T
T T F F F F T T T T T T
T F T T F T F F F T F T
T F T F F T F T F F T T
T F F T F T T F F T F T
T F F F F T T T F T T T
F T T T T F F F T T T F
F T T F T F F T T F T F
F T F T T F T F T T T T
F T F F T F T T T T T T
F F T T T T F F F T F F
F F T F T T F T F F T F
F F F T T T T F F T F T
F F F F T T T T F T T T
(A  B)  (C ((A  B)  (C D ))  ( B (((A  B)  (C D ))  ( B  D )) 
D )  D ) ( A  C )
T T T
F F T
T T T
T T T
F F T
F F T
F F T
F F T
T T F
F F T
 T T T
T T T
F F T
F F T
F F T
F F T
Tabel kebenaran menunjukkan bahwa hasilnya Tautology, maka argument tersebut
valid. Tautology disimbolkan dengan 1.

2. Jika Dewi lulusan informatika, maka Icha lulusan informatika. Jika Maya lulusan
kedokteran, maka Icha lululsan informatika. Dengan demikian, jika Dewi lulusan
informatika atau Maya lulusan kedokteran, maka Icha lulusan informatika
a. Buat premis dan kesimpulan dari argumen tersebut
b. Tentukan ekspresi logika
c. Buat tabel kebenaran dan tentukan hukum dari tabel kebenaran tersebut
d. Buat penyederhanaan dan tulis hukum-hukum penyederhanaan setiap barisnya

Jawab:

a. Buat premis dan kesimpulan dari argumen tersebut

Jika Dewi lulusan informatika, maka Icha lulusan informatika. (Premis 1)

Jika Maya lulusan kedokteran, maka Icha lululsan informatika. (Premis 2)

Dengan demikian, jika Dewi lulusan informatika atau Maya lulusan kedokteran, maka
Icha lulusan informatika (Kesimpulan)

b. Tentukan ekspresi logika

Misal:
A = Dewi lulusan informatika
B = Icha lulusan informatika
C = Maya lulusan kedokteran
Menjadi:
1. A → B
2. C → B
3. (A ˅ C) → B
Menjadi:
((A → B) ˄ (C → B)) → ((A ˅ C) → B)
 c. Buat tabel kebenaran dan tentukan hukum dari tabel kebenaran tersebut

A B C (A→B) (C→B ((A→B)˄(C→B)) (A˅C ((A˅C)→B) ((A→B)˄(C→B))

) )
→((A˅C) → B)
T T T T T T T T T
T T F T T T T T T
T F T F F F T F T
T F F F T F T F T
F T T T T T T T T
F T F T T T F T T
F F T T F F T F T
F F F T F F F T T
Dari hasil tersebut, menyatakan bahwa argument tersebut adalah Tautology.

d. Buat penyederhanaan dan tulis hukum-hukum penyederhanaan setiap barisnya

((A → B) ˄ (C → B)) → ((A ˅ C) → B)
Penyelesaian:
((A → B) ˄ (C → B)) → ((A V C) → B)
((¬A V B) ˄ (C → B)) → ((A V C) → B) A → B = ¬A V B
((¬A V B) ˄ (¬ C V B)) → ((A V C) → B) A → B = ¬A V B
((¬A V B) ˄ (¬ C V B)) → (¬ (A V C) V B) A → B = ¬A V B
¬ ((¬A V B) ˄ (¬ C V B)) V (¬ (A V C) V B) A → B = ¬A V B
(¬ (¬A V B) ˄ ¬ (¬ C V B)) V (¬ (A V C) V B)
((¬ ¬A ˄ ¬ B) ˄ (¬ ¬ C ˄ ¬ B)) V ((¬ A ˄ ¬ C) V B) de morgan’s
((A ˄ ¬ B) ˄ ( C ˄ ¬ B)) V ((¬ A ˄ ¬ C) V B) negasi ganda

(A ˄ ¬ B) ˄ ( C ˄ ¬ B) V (¬ A ˄ ¬ C) V B