SatisfiabilityCount

SatisfiabilityCount[bf]
当变量组合作为布尔函数 bf 的参数时,统计产生 True 的变量可能组合的数量.

SatisfiabilityCount[expr, {a1, a2, ...}]
统计使得布尔表达式 expr 为真的 可能组合的数量.

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

基本范例 (3)基本范例 (3)

统计 产生 true 的数量:

In[1]:=
Click for copyable input
Out[1]=

这对应于真值表中 True 出现的数量:

In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=

统计一个纯布尔函数中真值情况的数量:

In[1]:=
Click for copyable input
Out[1]=

相应的表:

In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=

统计有 2000 个变量的表达式中真值的例子:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
版本 7 的新功能
New to Mathematica? Find your learning path »
Have a question? Ask support »