MATHEMATICA 組込みシンボル

SatisfiabilityCount

SatisfiabilityCount[bf]
ブール関数 bf に引数として渡された場合にTrueを与える変数値の可能な組合せの数を数える．

SatisfiabilityCount[expr, {a₁, a₂, ...}]
ブール式 expr が真となるの可能な組合せの数を数える．

詳細 詳細

が真を返す場合がいくつあるか数える：

Out[1]=

これは，真理値表のTrueの数に対応する：

Out[2]=

Out[3]=

純ブール関数で真である場合の数を数える：

Out[1]=

対応する表：

Out[2]=

Out[3]=

2000個の変数を持つ式中の真の数を数える：

Out[1]=

Out[2]=

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