45
правок
Изменения
→Разрешимость булевой формулы, заданой в форме Крома
=== Разрешимость булевой формулы, заданой в форме Крома ===
{{Утверждение
|statement= Существует алгоритм, который за полиномиальное время проверяет, что функцию, заданную в форме Хорна Крома можно удовлетворить.|proof= {{main|2SAT}}
}}
