Изменения

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

42 байта добавлено, 10:59, 7 января 2015

→‎См.также

* [[СКНФ]]

* [http://en.wikipedia.org/wiki/2-satisfiability 2-SAT(КНФ в форме Крома)]

==Примечания==

[[Категория: Дискретная математика и алгоритмы]]

[[Категория: Булевы функции ]]

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