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