Изменения

Чтобы доказать, что <tex>TQBF \in \mathrm{PSC}</tex>, необходимо показать, что <tex>TQBF \in \mathrm{PSHPS}</tex> и <tex>TQBF \in \mathrm{PSPSH}</tex>.