Synonymes de satisfiabilité

Cliquez sur un nœud · Scroll pour zoomer
Définition
nom
En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.
Votre phrase
mot et ses synonymes surlignés en dessous
✦ 0 correspondance(s) 0 mot
Synonymes par nuances
Antonymes
Exemples d'usage
Le problème de la décision de la satisfiabilité d’une forme normale disjonctive admet une réponse qui peut être obtenue très simplement.
Expressions et locutions
Mode Libre —

Contact

Une idée, un bug, une collaboration ? Écrivez-nous.