Що таке сполучна нормальна форма (CNF)? Кон'юнктивна нормальна форма (CNF) є одиницею стандартизована форма для вираження булевих виразів. Він складається зі сполуки «і» (сполучення) з сполук «або» (диз’юнкції).
Є формула F сполучна нормальна форма (KNF), якщо це кон’юнкція речень, тобто кон’юнкція літералів, наприклад, формула F має диз’юнктивну нормальну форму (DNF), якщо це диз’юнкція подвійних речень, тобто диз’юнкція літералів, напр.
Формула в DNF виконується тоді і тільки тоді, коли існує кон’юнкція, яка не містить A і ¬A одночасно для атомарної формули A. Формула в КНФ є дійсним тоді і тільки тоді, коли кожна диз’юнкція одночасно містить A і ¬A для атомарної формули A.
KNF може означати: Нормальна форма ядра , стиль комп'ютерного програмування. Нормальна форма Kuroda, нормальна форма для контекстно-залежних граматик. Korea Nuclear Fuel, південнокорейська компанія. Корейське натуральне землеробство, розроблене Чо Хан Кю.
Диз'юнкція мінтермів називається диз'юнктивною нормальною формою (скорочено ДНФ).. Кон'юнкція максимальних членів називається кон'юнктивною нормальною формою (скорочено CNF). Приклади: (x1 ∧ x2) ∨ (¬x1 ∧ x3) ∨ x2 є DNF, але не KNF. Формули x1 ∨ x2 і ¬x1 ∧ x4 ∧ ¬x6 є як ДНФ, так і КНФ.
minterm – це одне поле з 1 записом, maxterm — це одне поле з 0 записом.