Изменения

Перейти к: навигация, поиск

КНФ

1 байт добавлено, 00:59, 9 октября 2010
Нет описания правки
''' {{Определение|definition =КНФ (Конъюнктивная Нормальная Форма)''' в булевой логике — — нормальная форма, в которой булева формула имеет вид конъюнкции нескольких дизъюнктов.}}
Пример КНФ:
<math>(x \or y) \and (y \or \neg z)</math>
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/3343»

Навигация