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