1302
правки
Изменения
КНФ
,Нет описания правки
{{Определение
|definition =
КНФ (Конъюнктивная Нормальная Форма) — нормальная форма, в которой [[Определение булевой функции|булева формула функция]] имеет вид конъюнкции нескольких дизъюнктов.
}}
Пример КНФ:
