Изменения
Нет описания правки
<tex> \mathrm{SAT}</tex> {{---}} язык булевых формул из <tex> n </tex> переменных, для которых существует подстановка, при которой формула истинна.
<tex> \mathrm{SAT} = \lbrace \varphi\ \bigm|\ mid \exists x : \varphi(x) = 1 \rbrace </tex>
{{Теорема
|author=Кук
