satisfiabilité

NOM — f

/satisfjabilite/

Syllabes : sa.tis.fja.bi.li.te Orthocode : sa.tis.fia.bi.li.té

Définitions

  1. 1. logique En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.
    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.

Synonymes

satisfaisabilité NOM

Formes fléchies

Forme Phonétique Traits Syllabes Orthocode
satisfiabilité /satisfjabilite/ Ncfs sa.tis.fja.bi.li.te sa.tis.fia.bi.li.té

Entités liées (1)

Tous Prénom Nom Homonyme Composant
Nom ▲ Relation Type Notoriété Popularité
Problème de Satisfiabilité de Circuit Lié Concept 4 0.0