Formule booléenne quantifiée vraie

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

En théorie de la complexité, en informatique théorique, en logique mathématique, une formule booléenne quantifiée (ou formule QBF pour quantified binary formula en anglais) est une formule de la logique propositionnelle où les variables propositionnelles sont quantifiées.

Français

Formule booléenne quantifiée vraie

Formule booléenne quantifiée

Anglais

True quantified Boolean formula

Sources

Source : Wikipedia

source : Claude Coulombe, Datafranca.org