SEARCH MATHEMATICA 8 DOCUMENTATION

THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

Mathematica > 数学和算法 > 离散数学 > 布尔运算 >

Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 >

Mathematica 内置符号

BooleanCountingFunction

BooleanCountingFunction[k_max, n]
表示 n 元布尔函数，当不超过 k_max 个变量为 True，结果为 True。

BooleanCountingFunction[{k}, n]
表示 n 元布尔函数，当恰好有 k 个变量为 True，结果为 True。

BooleanCountingFunction[{k_min, k_max}, n]
表示一个函数，当 k_min 到 k_max 范围内的变量为 True，结果为 True。

BooleanCountingFunction[{{k₁, k₂, ...}}, n]
表示一个函数，当 k_i 变量为 True 时，结果为 True。

BooleanCountingFunction[spec, {a₁, a₂, ...}]
给出变量 a_i 的布尔表达式，相应 spec 指定的布尔统计函数。

BooleanCountingFunction[spec, {a₁, a₂, ...}, form]
给出 form 指定形式的布尔表达式。

BooleanCountingFunction[spec][a₁, a₂, ...] 给出等价于布尔表达式 BooleanCountingFunction[spec, {a₁, a₂, ...}] 的一个隐式表示。

当 k_min，k_min+s，...，k_max 变量为 True，BooleanCountingFunction[{k_min, k_max, s}, ...] 给出 True。

不超过两个条件为 true：

转换为一个析取范式：