Memutuskan apakah formula boolean yang dikuantifikasi seperti ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), selalu mengevaluasi benar adalah masalah PSPACE-lengkap klasik. Ini dapat dilihat sebagai...