SatisfiableQ
SatisfiableQ[bf]
gives True if a combination of values of variables exists that makes the Boolean function bf yield True.
SatisfiableQ[expr,{a1,a2,…}]
gives True if a combination of values of the ai exists that makes the Boolean expression expr yield True.
Examples
open allclose allBasic Examples (2)
Properties & Relations (4)
An expression is satisfiable if it is true for some variable assignments:
An expression of variables is satisfiable if the SatisfiabilityCount is greater than 0:
Use SatisfiabilityInstances to get explicit instances:
SatisfiableQ[f] is equivalent to ¬TautologyQ[¬f]:
Text
Wolfram Research (2008), SatisfiableQ, Wolfram Language function, https://reference.wolfram.com/language/ref/SatisfiableQ.html.
BibTeX
BibLaTeX
CMS
Wolfram Language. 2008. "SatisfiableQ." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/SatisfiableQ.html.
APA
Wolfram Language. (2008). SatisfiableQ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/SatisfiableQ.html