---
title: "quantified boolean formula"
source: https://www.jemoka.com/posts/kbhquantified_boolean_formula/
---

Here&rsquo;s a PSPACE-COMPLETE language:
\begin{equation} \forall x_1, \exists x_2, \forall x_3 \dots \dots \phi\qty(x_1, x_2, \dots, x_{n}) = 1 \end{equation}
