Isi kandungan:
- Definisi - Apa bentuk Normal Conjunctive Normal (CNF)?
- Techopedia menerangkan Form Normal Conjunctive (CNF)
Definisi - Apa bentuk Normal Conjunctive Normal (CNF)?
Borang normal konjunctive (CNF) adalah pendekatan kepada logik Boolean yang menyatakan formula sebagai konjungsi klausa dengan AND atau ATAU. Setiap klausa yang dihubungkan oleh konjungsi, atau AND, mestilah sama ada secara literal atau mengandungi disjunction, atau operator ATAU. CNF berguna untuk membuktikan teorem automatik.
Techopedia menerangkan Form Normal Conjunctive (CNF)
Dalam bentuk normal yang konjunctive, penyataan dalam logik Boolean adalah konjungsi klausa dengan klausa-klausa gangguan. Dalam erti kata lain, pernyataan adalah satu siri OR yang disambungkan oleh ANDs.
Sebagai contoh:
(ATAU B) DAN (C ATAU D)
(ATAU B) DAN (TIDAK C ATAU B)
Fasal-fasal ini juga boleh menjadi literal:
ATAU B
A DAN B
Literal dilihat dalam CNF sebagai konjungsi klausa literal dan konjungsi yang berlaku untuk mempunyai satu fasal. Adalah mungkin untuk menukarkan pernyataan ke CNF yang ditulis dalam bentuk lain, seperti bentuk biasa yang tidak jelas.
