Se puede generalizar el problema SAT para el problema de la fórmula booleana cuantificada (QBF), un importante problema PSPACE-completo que permite una cuantificación tanto universal como existencial sobre el valor de las variables: