Изменения

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

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

1 байт убрано, 15:21, 15 июня 2016

→‎КНФ в форме Крома

Данный алгоритм подробно описан в статье о выполнимости булевых формул, заданных в форме Крома: [[2SAT]].

*Функцию <tex>F</tex> можно задать в форме Крома <tex> \iff </tex> выполнено следующее следствие:

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/55162»