Daftar Isi:
- Definisi - Apa makna Konjungtif Bentuk Normal (CNF)?
- Techopedia menjelaskan Conjunctive Normal Form (CNF)
Definisi - Apa makna Konjungtif Bentuk Normal (CNF)?
Conjunctive normal form (CNF) adalah pendekatan logika Boolean yang mengekspresikan rumus sebagai konjungsi dari klausa dengan AND atau OR. Setiap klausa yang dihubungkan oleh konjungsi, atau AND, harus berupa literal atau mengandung disjungsi, atau operator OR. CNF berguna untuk pembuktian teorema otomatis.
Techopedia menjelaskan Conjunctive Normal Form (CNF)
Dalam bentuk normal konjungtif, pernyataan dalam logika Boolean adalah konjungsi dari klausa dengan klausa disjungsi. Dengan kata lain, pernyataan adalah serangkaian OR yang terhubung oleh AND.
Sebagai contoh:
(A ATAU B) DAN (C ATAU D)
(A ATAU B) DAN (BUKAN C ATAU B)
Klausa mungkin juga literal:
A ATAU B
A DAN B
Literal dilihat dalam CNF sebagai konjungsi klausa literal dan konjungsi yang kebetulan memiliki klausa tunggal. Dimungkinkan untuk mengubah pernyataan menjadi CNF yang ditulis dalam bentuk lain, seperti bentuk normal disjungtif.
