 |
BooleanMinterms
BooleanMinterms[k, n]
表示第 k
n 元极小项.
BooleanMinterms[{k1, k2, ...}, n]
表示极小项 
的析取.
BooleanMinterms[{{u1, ..., un}, {v1, ...}, ...}]
表示由指数向量 
，
，... 给出的极小项析取.
BooleanMinterms[spec, {a1, a2, ...}]
给出关于变量 
的布尔表达式，相应 spec 指定的极小项函数.
BooleanMinterms[spec, {a, a2, ...}, form]
给出由 form 指定形式的布尔表达式.
更多信息
- BooleanMinterms[{{u1, u2, ...}}, {a1, a2, ...}] 给出
，其中当 
为 True 时，
，当 
为 False 时 
. -
等可以用 True、 False 或 
、
来指定. - BooleanMinterms[k, n] 等价于 BooleanMinterms[{IntegerDigits[k, n, 2]}].
- BooleanMinterms[spec] 给出一个作用类似 Function 的布尔函数.
- BooleanMinterms[spec][a1, a2, ...] 给出等价于明确的布尔表达式 BooleanMinterms[spec, {a1, a2, ...}] 的一个隐式表示.
- BooleanConvert 将 BooleanMinterms[spec][vars] 转换为一个明确的布尔表达式.
- 在 BooleanMinterms[spec, {a1, a2, ...}, form] 中，可能的形式作为 BooleanConvert 给出.
- BooleanMinterms[spec, {a1, a2, ...}] 缺省下按析取范式给出一个表达式.
版本 7 的新功能
