English True quantified Boolean formula Cited by user Duckmather on 29 May 2021 In computational complexity theory, the language TQBF is a formal language consisting of the true quantified Boolean formulas.