Бюрократы, editor, Администраторы
422
правки
Изменения
Лемма
{{Лемма
|statement= Пусть <tex>SAT \in P </tex>, тогда для любой формулы <tex>\phi \in SAT</tex> можно за полиномиальное время вывести набор значений, удовлетворяющих формулуудовлетворяющий формуле.
|proof=
В случае если <tex>\phi</tex> не содержит переменных, то есть является тождественной единицей, решение задачи тривиально.
