MATHEMATICA 内置符号

SatisfiabilityCount

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

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

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

统计产生 true 的数量：

Out[1]=

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

Out[2]=

Out[3]=

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

Out[1]=

相应的表：

Out[2]=

Out[3]=

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

Out[1]=

Out[2]=

Top

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