NAMA : Rahmat Yusuf Ardhitian

NIM : 201810370311349

1. ( 𝐴 ∨ 𝐵) → (𝐶 ∧ (𝐶 → 𝐴))
a. FCNF tabel kebenaran
𝑛𝑜 𝐴 𝐵 𝐶 𝐴 ∨𝐵 𝐶 →𝐴 𝐶 ∧ (𝐶 → 𝐴) ( 𝐴 ∨ 𝐵) → (𝐶 ∧ (𝐶 → 𝐴))
1 F F F F T F T
2 F F T F F F T
3 F T F T T F F
4 F T T T F F F
5 T F F T T F F
6 T F T T T T T
7 T T F T T F F
8 T T T T T T T
Untuk CNF dapat dilakukan dengan mengambil nilai F, yaitu pada baris 3, 4, 5, dan 7 sesuai urutan dapat diuraikan sebagai berikut :

Value A Value B Value C

Baris 3 F T F
Baris 4 F T T
Baris 5 T F F
Baris 7 T T F
Sehingga CNF yang dibentuk adalah sebagai berikut :

≡ ( ¬𝐴 ∨ 𝐵 ∨ ¬𝐶) ∧ ( ¬𝐴 ∨ 𝐵 ∨ 𝐶) ∧ (𝐴 ∨ ¬𝐵 ∨ ¬𝐶) ∧ (𝐴 ∨ 𝐵 ∨ ¬𝐶)

Berdasarkan hasil pengubahan terbentuk diatas disebut Full Conjunctive Normal Form

b. CNF menggunakan Hukum – Hukum logika

(𝐴 ∨ 𝐵) → (𝐶 ∧ (𝐶 → 𝐴)) ≡ ( 𝐴 ∨ 𝐵) → (𝐶 ∧ (¬𝐶 ∨ 𝐴))

(𝐴 ∨ 𝐵) → (𝐶 ∧ (𝐶 → 𝐴)) ≡ ¬( 𝐴 ∨ 𝐵) ∨ (𝐶 ∧ (¬𝐶 ∨ 𝐴))
(𝐴 ∨ 𝐵) → (𝐶 ∧ (𝐶 → 𝐴)) ≡ ( ¬𝐴 ∧ ¬𝐵) ∨ (𝐶 ∧ (¬𝐶 ∨ 𝐴))
(𝐴 ∨ 𝐵) → (𝐶 ∧ (𝐶 → 𝐴)) ≡ ( ¬𝑨 ∧ ¬𝑩) ∨ (𝑪 ∧ ¬𝑪) ∨ (𝑪 ∧ 𝑨)
 Hasil pada ekspresi logika diatas telah berubah menjadi CNF

2. (( 𝐴 ∨ 𝐵) → 𝐶) ∧ (𝐶 → 𝐴)
a. FCNF tabel kebenaran
No 𝐴 𝐵 𝐶 𝐴 ∨𝐵 ( 𝐴 ∨ 𝐵) → 𝐶 𝐶 →𝐴 (( 𝐴 ∨ 𝐵) → 𝐶) ∧ (𝐶 → 𝐴)
1 F F F F T T T
2 F F T F T F F
3 F T F T F T F
4 F T T T T F F
5 T F F T F T F
6 T F T T T T T
7 T T F T F T F
8 T T T T T T T
Untuk CNF dapat dilakukan dengan mengambil nilai F, yaitu pada baris 2,3, 4, 5 dan 7 sesuai urutan dapat diuraikan sebagai berikut :

Value A Value B Value C

Baris 2 F F T
Baris 3 F T F
Baris 4 F T T
Baris 5 T F F
Baris 7 T T F
Sehingga CNF yang dibentuk adalah sebagai berikut :

≡ ( ¬𝐴 ∨ ¬𝐵 ∨ 𝐶) ∧ ( ¬𝐴 ∨ 𝐵 ∨ ¬𝐶) ∧ (¬𝐴 ∨ 𝐵 ∨ 𝐶) ∧ (𝐴 ∨ ¬𝐵 ∨ ¬𝐶) ∧ (𝐴 ∨ 𝐵 ∨ ¬𝐶)

Berdasarkan hasil pengubahan terbentuk diatas disebut Full Conjunctive Normal Form

b. CNF menggunakan Hukum –hukum logika

(( 𝐴 ∨ 𝐵) → 𝐶) ∧ (𝐶 → 𝐴) ≡ (( 𝐴 ∨ 𝐵) → 𝐶) ∧ (¬𝐶 ∨ 𝐴)
(( 𝐴 ∨ 𝐵) → 𝐶) ∧ (𝐶 → 𝐴) ≡ (¬( 𝐴 ∨ 𝐵) ∨ 𝐶) ∧ (¬𝐶 ∨ 𝐴)
(( 𝐴 ∨ 𝐵) → 𝐶) ∧ (𝐶 → 𝐴) ≡ (( ¬𝐴 ∧ ¬𝐵) ∨ 𝐶) ∧ (¬𝐶 ∨ 𝐴)
(( 𝐴 ∨ 𝐵) → 𝐶) ∧ (𝐶 → 𝐴) ≡ (¬𝑨 ∨ 𝑪) ∧ (¬𝑩 ∨ 𝑪) ∧ (¬𝑪 ∨ 𝑨)

Hasil pada ekspresi logika diatas telah berubah menjadi CNF

3. ((𝐴 → 𝐵) ∨ 𝐶) ∧ (𝐴 → 𝐶)
a. FCNF tabel kebenaran
No 𝐴 𝐵 𝐶 𝐴 →𝐵 (𝐴 → 𝐵) ∨ 𝐶 𝐴 →𝐶 ((𝐴 → 𝐵) ∨ 𝐶) ∧ (𝐴 → 𝐶)
1 F F F T T T T
2 F F T T T T T
3 F T F T T T T
4 F T T T T T T
5 T F F F F F F
6 T F T F T T T
7 T T F T T F F
8 T T T T T T T

Untuk CNF dapat dilakukan dengan mengambil nilai F, yaitu pada baris 5 dan 7 sesuai urutan dapat diuraikan sebagai berikut :

Value A Value B Value C

Baris 5 T F F
Baris 7 T T F

Sehingga CNF yang dibentuk adalah sebagai berikut :

≡ (𝐴 ∨ ¬𝐵 ∨ ¬𝐶) ∧ (𝐴 ∨ 𝐵 ∨ ¬𝐶)

Berdasarkan hasil pengubahan terbentuk diatas disebut Full Conjunctive Normal Form

b. CNF menggunakan hukum-hukum logika

((𝐴 → 𝐵) ∨ 𝐶) ∧ (𝐴 → 𝐶) ≡ ((𝐴 → 𝐵) ∨ 𝐶) ∧ (¬𝐴 ∨ 𝐶)

((𝐴 → 𝐵) ∨ 𝐶) ∧ (𝐴 → 𝐶) ≡ ((¬𝐴 ∨ 𝐵) ∨ 𝐶) ∧ (¬𝐴 ∨ 𝐶)
((𝐴 → 𝐵) ∨ 𝐶) ∧ (𝐴 → 𝐶) ≡ (¬𝑨 ∨ 𝑩 ∨ 𝑪) ∧ (¬𝑨 ∨ 𝑪)

Hasil pada ekspresi logika diatas telah berubah menjadi CNF