MATHEMATICA 内置符号

SatisfiabilityInstances

SatisfiabilityInstances[bf]
尝试求出变量，使得布尔函数 bf 产生 True.

SatisfiabilityInstances[expr, {a₁, a₂, ...}]
尝试求出一个，使得布尔表达式 expr 为 True.

SatisfiabilityInstances[b, ..., m]
尝试求出 m 个使得产生 True 的变量.

范例 范例 打开所有单元 关闭所有单元

产生一个单个例子，其中布尔表达式为 true：

Out[1]=

Out[2]=

产生多个例子；在这里，仅存在两个例子：

Out[3]=

Out[4]=

求出一个布尔函数的 3 个例子：

Out[1]=

当输入不被满足时，返回一个空表：

Out[1]=

Out[2]=

Top

Mathematica Documentation Feedback Please complete this field.
Name (optional)	Email address (optional)
Send Feedback