BooleanMaxterms
BooleanMaxterms[k,n]
表示第 k
n 元极大项.
BooleanMaxterms[{k1,k2,…},n]
表示极大项 ki 的合取.
BooleanMaxterms[{{u1,…,un},{v1,…},…}]
表示指数向量 ui，vi，… 给出的极大项合取.
BooleanMaxterms[spec,{a1,a2,…}]
给出关于变量 ai 的布尔表达式，相应 spec 指定的极大项函数.
BooleanMaxterms[spec,{a1,a2,…},form]
给出由 form 指定形式的布尔表达式.
更多信息
- BooleanMaxterms[{{u1,u2,…}},{a1,a2,…}] 给出 b1∨b2∨…，其中当 ui 为 True 时，bi==ai，当 ui 为 False 时 bi=¬ai.
- ui 等可以用 True、 False 或 1、0 来指定.
- 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,…}] 缺省下按析取范式给出一个表达式.
范例
打开所有单元 关闭所有单元基本范例 (4)
BooleanMaxterms[{{True, False, True}}, {a, b, c}]BooleanMaxterms[{{1, 0, 1}}, {a, b, c}]BooleanMaxterms[{5}, {a, b, c}]BooleanMaxterms[{1, 3, 5}, {a, b, c}]And@@Table[BooleanMaxterms[{i}, {a, b, c}], {i, {1, 3, 5}}]TautologyQ[Equivalent[%%, %]]返回一个 BooleanFunction 对象，表示极大项的合取：
BooleanMaxterms[{1, 3, 5}, 3]@@{a, b, c}BooleanMaxterms[{1, 3, 5}, {a, b, c}]TautologyQ[Equivalent[%%, %]]Table[BooleanMaxterms[{i}, {a, b, c}], {i, 0, 2 ^ 3 - 1}]范围 (2)
BooleanMaxterms[{1, 3, 5}, {a, b, c}, "CNF"]BooleanMaxterms[{1, 3, 5}, {a, b, c}, "DNF"]BooleanMaxterms[{1, 3, 5}, {a, b, c}, "ANF"]BooleanMaxterms[{{0, 1, 1}, {1, 0, 1}, {1, 1, 0}}]BooleanConvert[%[a, b, c], "CNF"]属性和关系 (4)
相应 False 坐标的指针，在 BooleanTable 的缺省顺序中给出：
BooleanTable[BooleanMaxterms[{0, 3, 5, 7}, {a, b, c}], {a, b, c}]Position[%, False] - 1BooleanMaxterms 可以表示任何 BooleanFunction：
f = BooleanMaxterms[{1, 5, 7}, 3]g = BooleanFunction[FromDigits[{1, 0, 1, 1, 1, 0, 1, 0}, 2], 3]f === gmaxdex[l_, k_] := FromDigits[Table[If[MemberQ[l, i], 0, 1], {i, 0, 2 ^ k - 1}], 2]maxdex[{1, 5, 7}, 3]indmax[m_, k_] := Flatten@Position[IntegerDigits[m, 2, 2 ^ k], 0] - 1indmax[186, 3]With[{m = 123, k = 4},
BooleanMaxterms[Select[Range[0, 2 ^ k - 1], BitAnd[2^2 ^ k - 1 - #, m] == 0&], k] == BooleanFunction[m, k]]用 Subsets 列举出 BooleanMaxterms 的所有可能的函数：
BooleanMaxterms[#, {a, b}]& /@ Subsets[Range[0, 2 ^ 2 - 1]]BooleanMinterms 与 BooleanMaxterms 相关：
f = BooleanMinterms[{1, 3, 5}, 3]g = BooleanMaxterms[{1, 3, 5}, 3]TautologyQ[Equivalent[f[a, b, c], ¬g[¬a, ¬b, ¬c]]]文本
Wolfram Research (2008)，BooleanMaxterms，Wolfram 语言函数，https://reference.wolfram.com/language/ref/BooleanMaxterms.html.
CMS
Wolfram 语言. 2008. "BooleanMaxterms." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/BooleanMaxterms.html.
APA
Wolfram 语言. (2008). BooleanMaxterms. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/BooleanMaxterms.html 年