b'\n_START_ARTICLE_\nJuego de las f\xc3\xb3rmulas\n_START_PARAGRAPH_\nEn teor\xc3\xada de la complejidad computacional, el juego de las f\xc3\xb3rmulas es un juego artificial representado por una f\xc3\xb3rmula booleana totalmente cuantificada. Los turnos de los jugadores se alternan y el espacio de movimientos posibles se denota mediante variables ligadas. Si una variable se cuantifica universalmente, la f\xc3\xb3rmula que sigue tiene el mismo valor de verdad que la f\xc3\xb3rmula que comienza con el cuantificador universal, independientemente del movimiento realizado. Si una variable se cuantifica existencialmente, la f\xc3\xb3rmula siguiente tiene el mismo valor de verdad que la f\xc3\xb3rmula que comienza con el cuantificador existencial para al menos un movimiento disponible en el turno. Los turnos se alternan y un jugador pierde si no puede moverse en su turno. _NEWLINE_El lenguaje F\xc3\x93RMULA-GAME definido como todas las f\xc3\xb3rmulas  tal que el Jugador 1 tenga una estrategia ganadora, es PSPACE-completo.'