Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学和算法 > 离散数学 > 布尔运算 > SatisfiabilityInstances >
Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 > SatisfiabilityInstances >
Mathematica > 数学和算法 > 图与网络 > 图编程 > 布尔运算 > SatisfiabilityInstances >
MATHEMATICA 内置符号参见 »|更多关于 »

SatisfiabilityInstances

SatisfiabilityInstances[bf]
尝试求出变量，使得布尔函数 bf 产生 True.
SatisfiabilityInstances
尝试求出一个 ，使得布尔表达式 expr 为 True.
SatisfiabilityInstances
尝试求出 m 个使得产生 True 的变量.
更多信息
范例关闭所有单元
例   (3)
产生一个单个例子，其中布尔表达式为 true：
产生多个例子；在这里，仅存在两个例子：
求出一个布尔函数的 3 个例子：
当输入不被满足时，返回一个空表：
产生一个单个例子，其中布尔表达式为 true：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
产生多个例子；在这里，仅存在两个例子：
In[3]:=
Click for copyable input
Out[3]=
In[4]:=
Click for copyable input
Out[4]=
 
求出一个布尔函数的 3 个例子：
In[1]:=
Click for copyable input
Out[1]=
 
当输入不被满足时，返回一个空表：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
推广和延伸   (1)
求布尔表达式为真的所有情况：
属性和关系   (4)
n 元变量的布尔表达式最多有 个例子：
用 SatisfiabilityCount 统计：
在 BooleanTable 中，SatisfiabilityInstances 对应于 True 项：
用 FindInstance 求出方程和不等式的解：
巧妙范例   (1)
一个实例采样：
整个列表很长：
版本 7 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF