Изменения

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

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

91 байт добавлено, 01:41, 27 декабря 2010
м
Нет описания правки
==См.также==
* [[СКНФ]]* [http://en.wikipedia.org/wiki/2-satisfiability 2-SAT(КНФ в форме Крома)]

Навигация