Изменения

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

Специальные формы КНФ

374 байта убрано, 00:53, 8 октября 2016
→‎КНФ в форме Хорна: https://people.cs.pitt.edu/~milos/courses/cs2740/Lectures/class6.pdf третья страница
Каждая скобка представляет собой Дизъюнкт Хорна<ref>[https://ru.wikipedia.org/wiki/%D0%94%D0%B8%D0%B7%D1%8A%D1%8E%D0%BD%D0%BA%D1%82_%D0%A5%D0%BE%D1%80%D0%BD%D0%B0 {{---}} Дизъюнкт Хорна]</ref>.
 
Любую формулу можно представить в виде КНФ в форме Хорна. Для этого формулу необходимо преобразовать в конъюнкцию элементарных дизъюнкций и далее каждую дизъюнкцию представить в форме дизьюнкта Хорна.
{{Утверждение
Alex PKZDL
112
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/55472»

Навигация