ABDUL HAQEEM

202010370311302
2G

POST TEST 9
1. (A v B) → (C Ʌ (C → A))

A B C AVB C→A C Ʌ (C → A) (A v B) → (C Ʌ (C → A))

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

Value A Value B Value C

Baris 2 T T F
Baris 4 T F F
Baris 5 F T T
Baris 6 F T F

Menhasilkan FCNF seperti berikut :

≡ (A v B v ¬C) Ʌ (A v ¬B v ¬C) Ʌ (¬A v B v C) Ʌ (¬A v B v ¬C)

CNF dengan hukum logika :

(A v B) → (C Ʌ (C → A)) ≡ (¬A v ¬B) v (C Ʌ (¬C v A)) = De Morgan’s
(A v B) → (C Ʌ (C → A)) ≡ ¬ (A v B) v (C Ʌ (¬C v A)) = Implikasi
 2. ((A v B) → C) Ʌ (C → A))
A B C AVB (A v B) → C C→A ((A v B) → C) Ʌ (C → A))

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

Value A Value B Value C

Baris 2 T T F
Baris 4 T F F
Baris 5 F T T
Baris 6 F T F
Baris 7 T F T

Menghasilkan FCNF seperti berikut :

≡ (A v B v ¬C) Ʌ (A v ¬B v ¬C) Ʌ (¬A v B v C) Ʌ (¬A v B v ¬C) Ʌ (¬A v ¬B v C)

CNF dengan hukum logika :

((A v B) → C) Ʌ (C → A)) ≡ (¬(A v B) v C) Ʌ (C → A)) = Implikasi
(A v B) → (C Ʌ (C → A)) ≡ (¬A v ¬B v C ) Ʌ (¬C v A)) = De Morgan’s

3. ((A → B) v C) Ʌ (A → C))
A B C A→B (A → B) v C A→C ((A → B) v C) Ʌ (A → C))
T T T T T T T
T T F T T F F
T F T F T T T
T F F F F F F
F T T T T T F
F T F T T T F
F F T T T T F
F F F T T T F
 Value A Value B Value C
Baris 2 T T F
Baris 4 F F F
Baris 5 F T T
Baris 6 F T F
Baris 7 F F T
Baris 8 F F F

Menhasilkan FCNF sperti berikut :

≡ (A v B v ¬C) Ʌ (A v ¬B v ¬C) Ʌ (¬A v B v C) Ʌ (¬A v B v ¬C) Ʌ (¬A v ¬B v C) Ʌ (¬A v ¬B v ¬C)

CNF dengan hokum logika :

((A → B) v C) Ʌ (A → C)) ≡ ((¬A v B) v C) Ʌ (¬A v C)) = Implikasi