Bentuk Normal Konjungtif

Conjungtive Normal Form (CNF) : bentuk normal yang memakai perangkai konjungsi dari disjungsi. Bentuknya : A1 A2 An dimana setiap A1 mempunyai literal 1 2 n Contoh : (~P1 ~P3) (~P2 ~P1 P3)

Bentuk Normal Disjungtif

Disjunctive Normal Form (DNF) adalah bentuk normal yang memakai perangai disjungsi dari konjungsi. Bentuknya : A1 A2 An dimana setiap A1 mempunyai literal 1 2 n Contoh : (~P1 ~P3) (~P2 ~P1 P3)

Tabel kebenaran dan bentuk normal

Membuat DNF dari ekspresi logika menggunakan tabel dengan mengambil nilai T dari ekspresi tsb. Misal ~ (A B) (~ A ~ C) Dari tabel kebenaran yang bernilai T dijadikan DNF sesuai urutan dan yang bernilai F dijadikan CNF

Mengubah ke Bentuk Normal Konjungtif

Untuk mengubah ekspresi logika ke bentuk CNF ada 5 langkah: Gunakan ekuivalensi A B (A B) (B A) Gunakan ekuivalensi A B ~ A B Gunakan hukum de Morgan ~ (A B) ~ A ~ B dan ~ (A B) ~ A ~ B Gunakan hukum negasi ganda ~ ~ A A Gunakan hukum distributif A (B C) (A B) (A C)