Sea TQBF = {  : F es una fórmula booleana verdadera totalmente cuantificada }.