« Formule booléenne quantifiée vraie » : différence entre les versions

Version du 31 décembre 2018 à 15: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).

Version du 1 mars 2018 à 15:19 (voir la source) Pitpitt (discussion \| contributions) (Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === True quantified Boolean formula === In computationa... »)		Version du 31 décembre 2018 à 15:56 (voir la source) Pitpitt (discussion \| contributions) m (Remplacement de texte — « Termes privilégiés » par « Français ») Modification suivante →
Ligne 8 :		Ligne 8 :


	== ~~Termes privilégiés~~ ==		== Français ==