Изменения

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

NP-полнота задачи о выполнимости булевой формулы в форме КНФ

170 байт добавлено, 13:52, 17 марта 2010

Нет описания правки

====Определение====

''Литералом'' является переменная или отрицание переменной. Например, <tex> x <\tex> или <tex> \vee y <\tex>.

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

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