Формула квантифицированная булева, истинная — в теории вычислительной сложности язык TQBF является формальным языком, состоящим из истинностных квантифицированных булевых формул. (Полностью) квантифицированная булева формула — это формула в квантифицированной логике высказываний, в которой каждая переменная квантифицирована (или связана) с помощью экзистенциального или универсального квантора в начале предложения. Такая формула может быть либо истинной, либо ложной (поскольку в ней нет свободных переменных). Если такая формула истинна, то она относится к языку TQBF. Он также известен как QSAT (квантифицированный SAT).
[Глоссарий по искусственному интеллекту. (Электронный ресурс). Режим доступа: http:// en.wikipedia.org›wiki/Glossary_of_artificial_intelligence/, свободный.]