NAMA = YUNARKO ADI NUGROHO

NIM = 18532940

KELAS = PROSUS TEKNIK INFORMATIKA

1. (~A ∧ (~B→C))↔D

A B C D ~A ~B ~C ~B →C (~A ∧ (~B→C) (~A ∧ (~B→C))↔D

T T T T F F F T F F
T T T F F F F T F T
T T F T F F T T F F
T F F F F T T F F T
F F T T T T F T T T
F F T F T T F T T F
F T F T T F T T T T
F T F F T F T T T F
T T T T F F F T F F
T F T F F T F T F T
T F F T F T T F F F
T F F F F T T F F T
F T T T T F F T T T
F T T F T F F T T F
F T F T T F T T T T
F F F F T T T F F T
DNF = T

DNF = ∨ , T=9

(A ∧ B ∧ C ∧ ∼D) ∨ (A ∧∼ B ∧∼ C ∧ ∼D) ∨ (∼A ∧ ∼B ∧ C ∧ D) ∨ (∼A ∧ B ∧ ∼C ∧ D) ∨ (A ∧ ∼B ∧ C ∧ ∼D) ∨ (A ∧ ∼B ∧∼ C ∧ ∼D) ∨ (∼A ∧ B ∧ C ∧ D) ∨ (∼A ∧ B

∧ ∼C ∧ D) ∨ (∼A ∧ ∼B ∧ ∼C ∧ ∼D)

----------------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------

CNF = F

CNF= ∧ , F=7

(A ∨ B ∨ C ∨ D) ∧ (A ∨ B ∨ ∼C ∨ D) ∧ (∼A ∨ ∼B ∨ C ∨∼ D) ∧ (∼A ∨ B ∨ ∼C ∨∼ D) ∧ (A ∨ B ∨ C ∨ D) ∧ (A ∨ ∼B ∨∼ C ∨ D) ∧ (∼A ∨ B ∨ C ∨ ∼D)

2. ∼(A → ∼C ) ∧ ( ∼ B → C)

A B C ∼B ∼C A→∼C ∼(A → ∼C ) ∼B→C ∼(A → ∼C ) ∧ ( ∼ B → C)

T T T F F F T T T
T T F F T T F T F
T F T T F F T T T
T F F T T T F F F
F T T F F T F T F
F T F F T T F T F
F F T T F T F T F
F F F T T T F F F

DNF = T

DNF = ∨ , T=2

(A ∧ B ∧ C ) ∨ ( A ∧ ∼B ∧ C )

-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

CNF = F

CNF= ∧ , F=6

(A ∨ B ∨ ∼C) ∧ (A ∨ ∼B ∨ ∼C) ∧ (∼A ∨ B ∨ C) ∧ (∼A ∨ B ∨ ∼C) ∧ (∼A ∨∼ B ∨ C) ∧ (∼A ∨ ∼B ∨ ∼C)

(A ∨ B ∨ C ∨ D) ∧ (A ∨ B ∨ ∼C ∨ D) ∧ (∼A ∨ ∼B ∨ C ∨∼ D) ∧ (∼A ∨ B ∨ ∼C ∨∼ D) ∧ (A ∨ B ∨ C ∨ D) ∧ (A ∨ ∼B ∨∼ C ∨ D) ∧ (∼A ∨ B ∨ C ∨ ∼D)