TQBF

Translingual

Etymology

From Template:Der True (or totally) quantified Boolean formula.

Symbol

1. Template:Lb The decision problem of, given a Boolean function f on n variables, deciding whether the following formula is satisfiable:

   $\mathrm{\exists }{x}_1\mathrm{\forall }{x}_2\mathrm{\exists }{x}_3...Q_n{x}_{n}f(x_1,x_2,x_3,...,x_n)$

   Where $Q_n$ is $\mathrm{\forall }$ if n is even and $\mathrm{\exists }$ if n is odd.

See also

• Template:L