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