Définitionssatisfiabilité

satisfiabilité

nom féminin
/sa.tis.fja.bi.li.te/
  1. LogiqueEn 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.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.