Formule booléenne quantifiée vraie


Révision datée du 27 janvier 2024 à 21:56 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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

Récupérée de « https://datafranca.org/wiki/index.php?title=Formule_booléenne_quantifiée_vraie&oldid=89340 »

Contributeurs: Claude Coulombe, wiki, Sihem Kouache