Logika Informatika : Bentuk-bentuk Normal, Konversi DNF, CNF, FDNF, FCNF, dan Contoh Soal
DEFINISI
DNF
Jika merupakan disjungsi dari konjungsi
CNF
Jika merupakan konjungsi dari disjungsi
FDNF
DNF dengan variabel pada setiap disjungsi sama
FCNF
CNF dengan variabel pada setiap konjunsi sama
MENGUBAH KE BENTUK NORMAL
Cara 1: Bedasarkan formula asli
- Hilangkan implikasi
- Pindahkan negasi ke dalam kurung
- Hilangkan negasi ganda
- Distribusi konjungsi dan disjungsi
Cara 2: menurut tabel kebenaran
- Cari baris yang bernilai T dan bentuk FDNF
- Cari baris yang bernilai F dan bentuk FCNF
CONTOH
Ubahlah kalimat berikut ke bentuk normal
(p Þ q) Λ (¬q Þ r)
CARA 1 CNF
CARA 1 FCNF
CARA 1 DNF
CARA 1 FDNF
CARA 2 Tabel Kebenaran
CARA 2 FDNF & DNF
CARA 2 FCNF & CNF
LATIHAN
Solusi soal No. 4 CNF
Hukum Logika Proposisi
Solusi soal No. 4 FCNF
Hukum Logika Proposisi
Solusi soal No. 4 DNF & FDNF
Hukum Logika Proposisi
Solusi soal No. 4
Tabel Kebenaran
Sumber
Slide Logika Informatika : Bentuk Normal
EmoticonEmoticon