SatisfiabilityCount
当变量组合作为布尔函数 bf 的参数时，统计产生 True 的变量可能组合的数量.
SatisfiabilityCount[expr,{a1,a2,…}]
统计使得布尔表达式 expr 为真的 ai 可能组合的数量.
范例
打开所有单元关闭所有单元基本范例 (3)
属性和关系 (11)
SatisfiabilityCount 对于 
元变量的函数通常位于 
到 
之间：
SatisfiabilityCount 有效统计 BooleanTable 中 True 元素的数量：
在这个情况中，BooleanTable 将有 
元素：
SatisfiableQ 实际上测试 SatisfiabilityCount 是否大于零：
对于一个 n 元函数，TautologyQ 实际上测试 SatisfiabilityCount 是否是 
：
对于 n 元基元 SatisfiabilityCount 是简单的；对于 And，它通常是 
：
对于 Or，它是 
：
对于 Nand，它是 
：
对于 Nor，它是 
：
对于 Xor，它是 
：
对于 Xnor，它是 
：
对于 Equivalent，它是 
：
对于 Majority， 
为偶数时，它是 
， 
为奇数时，它是 ![2^(n-1)-1/2TemplateBox[{n, {n, /, 2}}, Binomial]](Files/SatisfiabilityCount.zh/18.png "2^(n-1)-1/2TemplateBox[{n, {n, /, 2}}, Binomial]"){kind=small}
：
BooleanCountingFunction 的真值表的大小是 Subsets 的长度：
BooleanCountingFunction 的真值表的大小由一个组合和给出：
SatisfiabilityCount 是 DigitCount 给出的一个指针 BooleanFunction：
对于 n 元变量，数量由 Mod[k,2^2^n] 的 DigitCount 给出：
对于 BooleanMinterms，SatisfiabilityCount 由指针列表长度给出：
对于 BooleanMaxterms，它由 2n 减去指针列表长度给出：
用 SatisfiabilityInstances 求出明确的例子：
用 CountRoots 统计一个实数区间中多项式根的数量：
文本
Wolfram Research (2008)，SatisfiabilityCount，Wolfram 语言函数，https://reference.wolfram.com/language/ref/SatisfiabilityCount.html.
CMS
Wolfram 语言. 2008. "SatisfiabilityCount." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/SatisfiabilityCount.html.
APA
Wolfram 语言. (2008). SatisfiabilityCount. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/SatisfiabilityCount.html 年