Изменения
→КНФ в форме Крома
{{Утверждение
|statement=Существует алгоритм, который за полиномиальное время проверяет, что функцию, заданную в форме Крома можно удовлетворить (т.е КНФ в форме Крома не является тождественно равной <tex>0</tex>).|proof=Данный алгоритм подробно описан в статье о выполнимости булевых формул, заданных в форме Крома: [[2SAT]].
}}
