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


m (Remplacement de texte — « Termes privilégiés » par « Français »)
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(22 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== Domaine ==
[[Category:Vocabulary]]
== Définition ==
== 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'''


== Français ==
'''Formule booléenne quantifiée'''


== Anglais ==
== Anglais ==


=== True quantified Boolean formula ===
'''True quantified Boolean formula '''
 
 
==Sources==
 
[https://fr.wikipedia.org/wiki/Formule_bool%C3%A9enne_quantifi%C3%A9e  Source : Wikipedia ]
 
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]]
 


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).
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

Dernière version du 27 janvier 2024 à 21:56

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