== PS-полная задача ==
Видимо{{Определение|definition=<tex>\mathrm{TQBF}</tex> расшифровывается как '''True Quantified Boolean Formula'''. Это язык верных булевых формул с кванторами.<br/><tex>\mathrm{TQBF}=\{Q_1 x_1 Q_2 x_2 \ldots Q_n x_n \phi(x_1, [[Участник:SkudarnovYaroslavx_2, \dots, x_n), Q_i \in \{\forall, \exists\}\}</Теормин к зачёту по теории сложности#Видимо, это про NP-полные задачиtex>.}}{{Утверждение|тут]].statement=<tex>\mathrm{TQBF} \in \mathrm{PSC}</tex>}}
== Класс L ==
