ELLYS RAHMA PUTRI BINTORO

202110370311468

INFORMATIKA – J

POSTEST PERTEMUAN 5

Buktikan ekspresi – ekspresi berikut ekuivalen secara logis dengan menggunakan tabel
kebenaran

a. ¬A ↔ B ≡ (¬A V B)Ʌ(¬B V A) e. A → B ≡ ¬ (A Ʌ ¬B)

b. A → (¬A → B) ≡ 1 f. ¬(¬A Ʌ B) V B ≡ 0
c. (A V ¬B) → C ≡ (¬A Ʌ B) V C g. ((A Ʌ (B → C))Ʌ(A → (B → ¬C)))→A ≡ 1
d. A → (B → C) ≡ (A → B) → C

JAWABAN

a. ¬A ↔ B ≡ (¬A V B)Ʌ(¬B V A) (terbukti TIDAK EKUIVALEN secara logis, karena

posisi F &T tidak sama persis)

A B ¬A ¬A ↔ B
T T F F
T F F T
F T T T
F F T F

A B ¬A ¬B (¬A V B) (¬B V A) (¬A V B)Ʌ(¬B V A)

T T F F T T T
T F F T F T F
F T T F T F F
F F T T T T T
b. A → (¬A → B) ≡ 1 (terbukti EKUIVALEN secara logis, karena hasil dan
posisi/urutannya sama persis dimana True juga dapat disimbolkan dengan angka 1)

A ¬A B (¬A → B) A → (¬A → B) 1
F T F F T 1
F T T F T 1
T F F T T 1
T F T T T 1

c. (A V ¬B) → C ≡ (¬A Ʌ B) V C (terbukti EKUIVALEN secara logis, karena hasil dan

posisi/urutannya sama persis)

A B ¬B C (A V ¬B) (A V ¬B) → C
F F T F T F
F F T T T T
F T F F F T
F T F T F T
T F T F T F
T F T T T T
T T F F T F
T T F T T T

A ¬A B C (¬A Ʌ B) (¬A Ʌ B) V C
F T F F F F
F T F T F T
F T T F T T
F T T T T T
T F F F F F
T F F T F T
T F T F F F
T F T T F T
d. A → (B → C) ≡ (A → B) → C (terbukti TIDAK EKUIVALEN secara logis, karena
hasilnya tidak sama persis)

A B C (B → C) A → (B → C)
F F F T F
F F T T F
F T F F T
F T T T F
T F F T T
T F T T T
T T F F T
T T T T T

A B C (A → B) (A → B) → C
F F F T F
F F T T T
F T F T F
F T T T T
T F F F T
T F T F T
T T F F T
T T T T T

e. A → B ≡ ¬ (A Ʌ ¬B) (terbukti EKUIVALEN secara logis, karena hasil dan

posisi/urutannya sama persis)

A B A→B
F F T
F T T
T F F
T T T

A ¬A B ¬B (A Ʌ ¬B) ¬ (A Ʌ ¬B)
F T F T F T
F T T F F T
T F F T T F
T F T F F T
f. ¬(¬(A Ʌ B) V B) ≡ 0 (terbukti EKUIVALEN secara logis, karena hasil dan
posisi/urutannya sama persis dimana False juga dapat disimbolkan dengan angka 0)

¬ (A Ʌ B) V
A ¬A B (A Ʌ B) ¬ (A Ʌ B) ¬(¬A Ʌ B) V B 0
B
F T F F T T F 0
F T T F T T F 0
T F F F T T F 0
T F T T F T F 0

g. ((A Ʌ (B → C))Ʌ(A → (B → ¬C)))→A ≡ 1 (terbukti EKUIVALEN secara logis,

karena hasil dan posisi/urutannya sama persis dimana True juga dapat disimbolkan
dengan angka 1)

(B (A Ʌ (B (A → ((A Ʌ (B → ((A Ʌ (B →
A B C ¬C → (B → → (B → C))Ʌ(A → C))Ʌ(A → (B 1
C) C)) ¬C) ¬C)) (B → ¬C)) → ¬C)))→A
F F F T T F T F F T 1
F F T F T F T F F T 1
F T F T F F T F F T 1
F T T F T F F T F T 1
T F F T T T T T T T 1
T F T F T T T T T T 1
T T F T F F T T F T 1
T T T F T T F T T T 1