« Formule booléenne quantifiée vraie » : différence entre les versions
(Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === True quantified Boolean formula === In computationa... ») |
m (Remplacement de texte — « Termes privilégiés » par « Français ») |
||
| Ligne 8 : | Ligne 8 : | ||
== | == Français == | ||
Version du 31 décembre 2018 à 14:56
Domaine
Définition
Français
Anglais
True quantified Boolean formula
In computational complexity theory, the language TQBF is a formal language consisting of the true quantified Boolean formulas. A (fully) quantified Boolean formula is a formula in quantified propositional logic where every variable is quantified (or bound), using either existential or universal quantifiers, at the beginning of the sentence. Such a formula is equivalent to either true or false (since there are no free variables). If such a formula evaluates to true, then that formula is in the language TQBF. It is also known as QSAT (Quantified SAT).
Contributeurs: Claude Coulombe, wiki, Sihem Kouache
