= True quantified Boolean formula
{wiki=True_quantified_Boolean_formula}
A True Quantified Boolean Formula (TQBF) is a specific type of Boolean formula that is a decision problem in computational complexity theory. It extends the concept of Boolean formulas by incorporating quantifiers (universal and existential) over the variables involved. \#\#\# Definition: A TQBF is a prenex normal form Boolean formula that can be expressed as follows: - It consists of a sequence of quantifiers followed by a propositional formula.
Back to article page