此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

BooleanMinterms

BooleanMinterms[k, n]
表示 n 元变量的 k^(th) 极小项。
BooleanMinterms[{k1, k2, ...}, n]
极小项 ki 的析取。
BooleanMinterms[{{u1, ..., un}, {v1, ...}, ...}]
析取指数向量 uivi... 给出的极小项。
BooleanMinterms[spec, {a1, a2, ...}]
给出关于变量 ai 的布尔表达式,相应 spec 指定的极小项函数。
BooleanMinterms[spec, {a, a2, ...}, form]
给出 form 指定形式的布尔表达式。
  • BooleanMinterms[{{u1, u2, ...}}, {a1, a2, ...}] 给出 b1Andb2And...,其中当 uiTrue 时,biEqualai,当 uiFalsebiai
  • ui 等可以用 TrueFalse10 来指定。
  • BooleanMinterms[spec, {a1, a2, ...}] 缺省下按析取范式给出一个表达式。
7 的新功能