NOM — f
/satisfəzabilite/
Syllabes : sa.tis.fə.za.bi.li.te
Orthocode : sa.tis.fai.sa.bi.li.té
Définitions
-
1.
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é.
Synonymes
Dérivés
Formes fléchies
| Forme | Phonétique | Traits | Syllabes | Orthocode |
|---|---|---|---|---|
| satisfaisabilité | /satisfəzabilite/ | Ncfs | sa.tis.fə.za.bi.li.te | sa.tis.fai.sa.bi.li.té |