satisfaisabilité

== Français == === Étymologie === Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici. === Nom commun === satisfaisabilité \sa.tis.fə.za.bi.li.te\ féminin (Logique) En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie. Un autre exemple classique important de problème NP-complet est le problème de la satisfaisabilité. — (Christiane Rousseau, Yvan Saint-Aubin, Mathématiques et Technologie, 2009) ==== Synonymes ==== satisfiabilité ==== Traductions ==== === Prononciation === France (Toulouse) : écouter « satisfaisabilité [Prononciation ?] » === Voir aussi === satisfaisabilité sur l’encyclopédie Wikipédia