[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / raw/concept/kbhquantified_boolean_formula.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "quantified boolean formula" source: https://www.jemoka.com/posts/kbhquantified_boolean_formula/ --- Here’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}