« Formule booléenne quantifiée vraie » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== en construction == | |||
== Définition == | == Définition == | ||
En théorie de la complexité et en logique mathématique, une formule booléenne quantifiée vraie (en anglais true quantified binary formula) est une formule de logique propositionnelle évaluée à vrai où les variables propositionnelles sont quantifiées par des opérateurs de quantification comme «pour tout» ∀ et «il existe», ∃. Cela entraîne le problème de satisfaisabilité booléenne (problème SAT) qui consiste à trouver l'assignation des variables qui rend une formule de logique propositionnelle vraie. Ce problème est très important en théorie de la complexité et pour la solution du problème P = NP. | En théorie de la complexité et en logique mathématique, une formule booléenne quantifiée vraie (en anglais true quantified binary formula) est une formule de logique propositionnelle évaluée à vrai où les variables propositionnelles sont quantifiées par des opérateurs de quantification comme «pour tout» ∀ et «il existe», ∃. Cela entraîne le problème de satisfaisabilité booléenne (problème SAT) qui consiste à trouver l'assignation des variables qui rend une formule de logique propositionnelle vraie. Ce problème est très important en théorie de la complexité et pour la solution du problème P = NP. | ||
== Français == | == Français == | ||
'''Formule booléenne quantifiée vraie''' | '''Formule booléenne quantifiée vraie'''<small> féminin </small> | ||
'''formule booléenne quantifiée''' <small> féminin </small> | |||
== Anglais == | == Anglais == | ||
| Ligne 21 : | Ligne 16 : | ||
'''True quantified Boolean formula ''' | '''True quantified Boolean formula ''' | ||
<small> | |||
[https://fr.wikipedia.org/wiki/Formule_bool%C3%A9enne_quantifi%C3%A9e Source : Wikipedia ] | |||
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]] | |||
[[ | [[Catégorie:Vocabulary]] | ||
[[Catégorie:Coulombe]] | |||
Version du 3 janvier 2021 à 22:52
en construction
Définition
En théorie de la complexité et en logique mathématique, une formule booléenne quantifiée vraie (en anglais true quantified binary formula) est une formule de logique propositionnelle évaluée à vrai où les variables propositionnelles sont quantifiées par des opérateurs de quantification comme «pour tout» ∀ et «il existe», ∃. Cela entraîne le problème de satisfaisabilité booléenne (problème SAT) qui consiste à trouver l'assignation des variables qui rend une formule de logique propositionnelle vraie. Ce problème est très important en théorie de la complexité et pour la solution du problème P = NP.
Français
Formule booléenne quantifiée vraie féminin
formule booléenne quantifiée féminin
Anglais
True quantified Boolean formula
Contributeurs: Claude Coulombe, wiki, Sihem Kouache
