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