Google
×
True quantified Boolean formula

True quantified Boolean formula

In computational complexity theory, the language TQBF is a formal language consisting of the true quantified Boolean formulas. Wikipedia