Изменения

Специальные формы КНФ

1 байт добавлено, 02:30, 17 июня 2016

→‎КНФ в форме Крома

{{Утверждение

|statement= Существует алгоритм, который за полиномиальное время проверяет, что формулу, заданную в форме Крома , можно удовлетворить.

|proof= {{main|2SAT}}

}}

45

правок