Formule booléenne quantifiée vraie


De DataFranca

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 féminin

Formule booléenne quantifiée féminin

Anglais

True quantified Boolean formula

Source : Wikipedia

source : Claude Coulombe, Datafranca.org