 |
SatisfiableQ
SatisfiableQ[bf]
如果存在变量组合，使得布尔函数 bf 产生 True，给出 True.
SatisfiableQ[expr, {a1, a2, ...}]
如果存在 
值的组合，使得布尔表达式 expr 产生 True，给出 True.
版本 7 的新功能
|
SatisfiableQ[bf]
如果存在变量组合，使得布尔函数 bf 产生 True，给出 True.
SatisfiableQ[expr, {a1, a2, ...}]
如果存在 值的组合，使得布尔表达式 expr 产生 True，给出 True.
