Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学和算法 > 离散数学 > 布尔运算 > SatisfiableQ >
Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 > SatisfiableQ >
Mathematica > 数学和算法 > 图与网络 > 图编程 > 布尔运算 > SatisfiableQ >
MATHEMATICA 内置符号参见 »|更多关于 »

SatisfiableQ

SatisfiableQ[bf]
如果存在变量组合，使得布尔函数 bf 产生 True，给出 True.
SatisfiableQ
如果存在 值的组合，使得布尔表达式 expr 产生 True，给出 True.
范例关闭所有单元
例   (2)
测试布尔表达式是否满足：
测试纯函数是否满足：
测试布尔表达式是否满足：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
测试纯函数是否满足：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
属性和关系   (4)
如果对于某些变量分配是 true，满足表达式：
如果 SatisfiabilityCount 大于 0，满足 n 元变量的表达式：
用 SatisfiabilityInstances 得到明确的例子：
SatisfiableQ[f] 等价于 ¬TautologyQ[¬f]：
版本 7 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF