Изменения
Нет описания правки
где <tex>X_{i}</tex> {{---}} попарно непересекающиеся множества аргументов <tex>\phi</tex>.
}}
<tex>\mathrm{QBF^{\Sigma}_{k}}</tex> {{---}} <tex>\mathrm{\Sigma_{k}}</tex>-полная задача (доказательство аналогично доказательству [[PS-полнота языка верных булевых формул с кванторами (TQBF)Теорема Бермана — Форчуна|PScoNP-полноты TQBFTAUT]]).
{{Определение
