Изменения

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

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

91 байт добавлено, 01:41, 27 декабря 2010
м
Нет описания правки
==См.также==
* [[СКНФ]]* [http://en.wikipedia.org/wiki/2-satisfiability 2-SAT(КНФ в форме Крома)]
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/6354»

Навигация