NAMA : Rifky Arief Setiawan

NIM : 1901010068

Tugas Logika Informatika

*Soal sisa yg kemarin:
E. A ˄ ((C ˅ B) ↔ ¬C

1 2 3 4
A B C C˅B A˄1 ¬C 2↔3
T T T T T F F
T T F T T T T
T F T T T F F
T F F F F T F
F T T T F F T
F T F T F T F
F F T T F F T
F F F F F T F

F. ¬((A ˄ B) → ¬C ) ˅ A
1 2 3 4 5
A B C AB C 12 3 4A
T T T T F F T T
T T F T T T F T
T F T F F T F T
T F F F T T F T
F T T F F T F F
F T F F T T F F
F F T F F T F F
F F F F T T F F

SOAL 1
BUAT TABEL KEBENARAN DARI ARGUMENT BERIKUT :

1. Jika Badu Mencontek saat ujian, maka pengawas ujian akan mencatatnya atau
dosennya akan memberikan sanksi. Jika dosennya tidak memberikan sanksi, maka
pengawas ujian tidak mencatatnya.

Jawab :

A = Badu mencontek saat ujian

B = Pengawas ujian akan mencatatnya

C = Dosennya akan memberikan sanksi

Bentuk Simbol :

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

Tabel kebenaran :

1 2 3 4 5 6
A B C B˅C 1→A ¬B ¬C 3→4 2˄5
T T T T T F F T T
T T F T T F T T T
T F T T T T F F F
T F F T T T T T T
F T T T F F F T F
F T F T F F T T F
F F T T F T F F F
F F F F T T T T T

2. Jika Badu tinggal dijakarta, dia akan bahagia. Jika dia bahagia dan menyukai
pekerjaannya,maka dia akan memperoleh gaji yang baik dari pekerjaannya atau dia
sedang jatuh cinta. Jika dia jatuh cinta, maka dia akan lebih menyukai pekerjaanya.
Dengan demikian, jika dia tinngal di jakarta, maka dia akan memperoleh gaji yang yang
baik dari pekerjaannya.

Jawab :

A = Badu tinggal dijakarta

B = Dia akan bahagia

C = Menyukai pekerjaannya
 D = Memperoleh gaji yang baik dari pekerjaannya

E = Dia sedang jatuh cinta

Jawab :

Bentuk Logika :

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

Tabel kebenaran :

1 2 3 4 5 6 7 8 9
A B C D E A→B B →C 1˄2 D˅E E→D 4→5 3→5 A→D 7→8
T T T T T T T T T T T T T T
T T T T F T T T T T T T T T
T T T F T T T T T F F F F T
T T T F F T T T F T F F F T
T T F T T T T T T T T T T T
T T F T F T T T T T T T T T
T T F F T T T T T F F F F T
T T F F F T T T F T F T F F
T F T T T F T F T T T T T T
T F T T F F T F T F F T T T
T F T F T F T F T F F T F F
T F T F F F T F F T F T F F
T F F T T F F F T T T T T T
T F F T F F F F T F F T T T
T F F F T F F F T F F T F F
T F F F F F F F F T F T F F
F T T T T T T T T T T T T T
F T T T F T T T T T T T T T
F T T F T T T T T F F F T T
F T T F F T T T F T F F T T
F T F T T T T T T F F F T T
F T F T F T T T T T T T T T
F T F F T T T T T F F F T T
F T F F F T T T F F F F T T
F F T T T T T T T T T T T T
F F T T F T T T T T T T T T
F F T F T T T T T F F F T T
F F T F F T T T F F F F T T
F F F T T T T T T T T T T T
F F F T F T F F T T T T T T
F F F F T T F F T F F T T T
F F F F F T F F F T F T T T

3. Jika Andi mendapat pekerjaan yang lebih baik, maka dia akan memperoleh gaji yang
baik dari pekerjaannya. Andi akan merasa tidak senang, bilamana dia mendapat
pekerjaan yang lebih baik dan dia tidak akan memperoleh yang baik dari pekerjaannya.
Tidak benar bahwa Andi tidak mendapat pekerjaan yang lebih baik dan andi akan
merasa senang. Dengan demikian, jika andi akan memperoleh gaji yang baik dari
pekerjaan,maka Andi akan merasa senang.

Jawab :

A = Jika Andi mendapat pekerjaan yang lebih baik

B = Dia akan memperoleh gaji yang baik dari pekerjaannya

C = Andi akan merasa tidak senang

Jawab :

Bentuk Logika

(((A→B)˄(¬C→A)˄(¬B˄(¬A˄C))→(B→C)

Tabel kebenaran :

1 2 3 4 5 6 7 8 9 10 11
A B C A→B ¬C 2→A 1˄3 ¬B ¬A 6˄C 5˄7 4˄8 B→C 9→10
T T T T F T T F F F F F T T
T T F T T T T F F F F F F T
T F T F F T F T F F F F T T
T F F F T T F T F F F F T T
F T T T F T T F T T F F T T
F T F T T F F F T F F F F T
F F T T F T T T T T T T T T
F F F T T F F T T F F F T T
Soal 2 :

BUATLAH TABLE KEBENARAN DARI BENTUK LOGIKA BERIKUT :

a. (( A ˄ ( B → C )) ˄ (A → ( B → ¬C ))) → A

b. (A ˄ (¬B → A )) ˄ ¬((A ↔ ¬B) → (A ˄ ¬B ))

c. (( A→ (¬B ˅ C)) → ¬A ˄ B ˄ ¬(B ˅ ( A ↔ ¬C))

d. ¬C → (¬B ˅ A)

e. (A → (¬B ˅ C)) ˄ ¬(B ˅ (A↔¬C))

Jawab :

a. (( A ˄ ( B → C )) ˄ (A → ( B → ¬C ))) → A

1 2 3 4 5 6 7
A B C B→C A˄1 ¬C B→3 A→4 2˄5 6→A
T T T T T F F F F T
T T F F F T T T F T
T F T T T F T T T T
T F F T T T T T T T
F T T T F F F T F T
F T F F F T T T F T
F F T T F F T T F T
F F F T F T T T F T
Tabel kebenaran a

b. (A ˄ (¬B → A )) ˄ ¬((A ↔ ¬B) → (A ˄ ¬B ))

1 2 3 4 5 6 7 8
A B ¬B 1→A A˄2 A↔1 A˄1 4→5 ¬6 3˄7
T T F T T F F T F F
T F T F F T T T F F
F T F T F F F F T T
F F T F F F F T F F
Tabel kebenaran b
c. (( A→ (¬B ˅ C)) → ¬A ˄ B ˄ ¬(B ˅ ( A ↔ ¬C))

1 2 3 4 5 6 7 8 9 10 11
4˄ 3→
A B C ¬B 1˅C A→2 ¬A B 5 ¬C A ↔7 B˅8 ¬9 6 ˄ 10
T T T F T T F F F F F T F F
T T F F F F F F T T T T F F
T F T T T T F F F F F F T F
T F F T T T F F F T T T F F
F T T F T T T T T F T T F F
F T F F F T T T T T F T F F
F F T T T T T F F F T T F F
F F F T T T T F F T F F T F
Tabel kebenaran c

d. ¬C → (¬B ˅ A))

1 2 3 4
A B C ¬B 1˅A ¬C 3→2
T T T F T F T
T T F F T T T
T F T T T F T
T F F T T T T
F T T F F F T
F T F F F T F
F F T T T F T
F F F T T T T
Tabel kebenaran d

e. (A → (¬B ˅ C)) ˄ ¬(B ˅ (A↔¬C))

1 2 3 4 5 6 7 8
A B C ¬B 1˅C A→2 ¬C A↔4 B˅5 ¬6 3˄7
T T T F T T F F T F F
T T F F F F T T T F F
T F T T T T F F F T T
T F F T T T T T T F F
F T T F T T F T T F F
F T F F F T T F T F F
F F T T T T F T T F F
 F F F T T T T F F T T
Tabel kebenaran e

Soal 3 :
GUNAKAN VARIABEL PROPOSISIONAL BERIKUT :

A = Bahan Baku Kain sari berasal dari pakistan

B = Bahan baku kain sari berasal dari India

C = Kain sari yang di produksi bermutu bagus

D = Kain sari laku dipasaran

Berdasarkan Variabel Proposisional tersebut ubahlah kalimat kalimat berikut menjadi

bentuk logika !!

 Kain sari yang diproduksi akan bermutu bagus dan akan laku dipasaran, jika bahan
baku kain sari berasal dari pakistan atau india.
 Tidak benar bahwa jika bahan baku kain sari yang tidak berasal dari Pakistan atau
India, maka kain sari yang diproduksi tidak bermutu bagus.

Jawab :

 ((C ˄ D ) → (A ˅ B))
¬((¬A ˅ B) → ¬C