TQBF Problemi
Boolean Formülü içerisinde; boolean değişkenleri, sabitler {0,1} ve işlemler {\land, \lor, \lnot} içeren formüllerdir. Bu formüller, \forall (bütün hepsi) ve \exists (en az bir) belirleyicilerinin eklenmesiyle daha genel bir yapıya sokulabilir. \forall x Q ifadesi bütün x değişkenleri için Q formülü doğrudur anlamı taşımaktadır.