Изменения

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

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

42 байта добавлено, 10:59, 7 января 2015
См.также
* [[СКНФ]]
* [http://en.wikipedia.org/wiki/2-satisfiability 2-SAT(КНФ в форме Крома)]
 
==Примечания==
 
<references />
[[Категория: Дискретная математика и алгоритмы]]
[[Категория: Булевы функции ]]
Анонимный участник

Навигация