45
правок
Изменения
→Разрешимость булевой формулы, заданой в форме Крома
<tex>(x_1\vee\overline x_2) \wedge (\overline x_1 \vee x_3 ) \wedge (\overline x_3 \vee x_2 ) \wedge (\overline x_1 \vee \overline x_2) \wedge... </tex>
{{Утверждение
|statement= Существует алгоритм, который за полиномиальное время проверяет, что формулу, заданную в форме Крома можно удовлетворить.
