Nama : Adri Linrung

NIM : 13020220139
Kelas : A4

FINAL TEST LOGIKA INFORMATIKA

1. (K ⇒ L) ∧ ¬L ∧ (N ⇒ (K ∨ Z)) ∧ (Z ⇒ L) ∧ (Z ∨ K)
K L N Z (K ⇒ L) ¬L (N ⇒ (K ∨ Z) (Z ⇒ L) (Z ∨ K) (K ⇒ L) ∧ ¬L ∧ (N ⇒ (K
∨Z)) ∧ (Z ⇒ L) ∧ (Z ∨ K)
1 1 1 1 1 0 1 1 1 0
1 1 1 0 1 0 1 1 1 0
1 1 0 1 1 0 1 1 1 0
1 1 0 0 1 0 1 1 1 0
1 0 1 1 1 1 1 1 1 0
1 0 1 0 1 1 1 1 1 0
1 0 0 1 1 1 1 1 1 0
1 0 0 0 1 1 1 1 1 0
0 1 1 1 1 0 1 1 1 0
0 1 1 0 1 0 1 1 0 0
0 1 0 1 1 0 1 1 1 0
0 1 0 0 1 0 1 1 0 0
0 0 1 1 1 1 1 1 1 0
0 0 1 0 1 1 1 1 0 0
0 0 0 1 1 1 1 1 1 0
0 0 0 0 1 1 1 1 0 0

Inferensi logika :
Tablo semantik
∧
/\
/\
/ \
/ \
/ \
/ \
/ \
∧ ∧
/\ /\
/\ /\
/ \ / \
K L N ∧
/\ /\
/\ /\
/ \ / \
⇒ ¬L ⇒ ∨
/\ /\
/\ /\
/ \/ \
L ZZ K
/\
/\
/ \
L Z

Kesimpulanyya adalah Kontradiksi

2. M: Setiap mahasiswa
B: Mampu berkolaborasi
P: Berjiwa pemimpin
F: Farhan
A: Aktivis besar
W: Berpeluang menjadi wakil rakyat
(M ∧ B) ∧ ((M ∧ B ∧ P) ∧ (A ∧ W)) ∧ (F ∧ B ∧ P) ∧ W
/ | | \
/ (M ∧ B ∧ P) ∧ (A ∧ W) W
/ / \
/ M∧B∧P
/ / \
M∧B B P
/\
M B
Valid