satisfiable

UK
/ˈsætɪsfaɪəbl/
US
/ˈsætɪsfaɪəbl/

Translations

satisfiableadjective
more satisfiable
Comp.
most satisfiable
Super.
UK
/ˈsætɪsfaɪəbl/
US
/ˈsætɪsfaɪəbl/
satisfiableEn logique, se dit d’une formule pouvant être rendue vraie par une affectation des variables.
The formula (¬P ∨ Q) is satisfiable because it is true when P is false.
La formule (¬P ∨ Q) est satisfiable parce qu’elle est vraie lorsque P est faux.
Additional translations
satisfaisablePeut être satisfait ou réalisé.

Definitions

satisfiableadjective
Capable of being satisfied or fulfilled.
The customer's request was satisfiable with the resources available.
(Logic) Of a logical formula or proposition: capable of being made true by at least one assignment of values to its variables.
The formula (¬P ∨ Q) is satisfiable because it is true when P is false.