Изменения
→КНФ в форме Крома
<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>
=== Разрешимать булевой формулы, заданой в форме Крома === {{Утверждениеmain|statement=[[2SAT]]}}
{{Утверждение
