[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / wiki/concepts/quantified_boolean_formula.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "quantified boolean formula" type: concept related: [Quantified Boolean Formula] source: https://www.jemoka.com/posts/kbhquantified_boolean_formula/ confidence: high status: active --- 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}