MATHEMATICA 内置符号

BooleanFunction

BooleanFunction[k, n]
表示第 k个 n 元布尔函数.

BooleanFunction[values]
表示对应指定真值向量的布尔函数.

BooleanFunction[{{i₁₁, i₁₂, ...}->o₁, ...}]
表示由输入到输出的指定映射所定义的布尔函数.

BooleanFunction[spec, {a₁, a₂, ...}]
给出元布尔表达式，对应于 spec 指定的布尔函数.

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

更多信息 更多信息

BooleanFunction[spec] 给出一个布尔函数对象，其作用与 Function 类似.
BooleanFunction[spec][a₁, a₂, ...] 给出等价于明确的布尔表达式 BooleanFunction[spec, {a₁, a₂, ...}] 的一个隐式表示.
BooleanConvert 将 BooleanFunction[spec][vars] 转换为一个明确的布尔表达式.
在 BooleanFunction[values] 等函数中，变量值可以用 True、 False 或、来指定.
BooleanFunction 表示的函数恒返回 True 或 False.
在 BooleanFunction[values] 中，变量值按二进制顺序指定，从 , ... 开始.
BooleanFunction[k, n] 等价于 BooleanFunction[IntegerDigits[k, 2, 2^n]].
在 BooleanFunction[values] 中，每个值可以是列表，表示向量值的布尔函数.
在 BooleanFunction[{{i₁₁, i₁₂, ...}->o₁, ...}] 中，可以是列表，表示向量值的布尔函数.
输入和输出的元素可以用 True、 False 或、来指定.
输入和输出的元素也可以包含任意数量的，表示"不介意".
它们也可以包含一个，表示一系列"不介意".
在 BooleanFunction[spec, {a₁, a₂, ...}, form] 中，为 BooleanConvert 给出可能的形式.
BooleanFunction[spec, {a₁, a₂, ...}] 缺省下按析取范式给出一个表达式.
BooleanFunction[k] 给出第 k 个 n 元布尔函数，其中 n 是满足的最小值.
在 BooleanFunction[k, ...] 中，布尔函数的编号与CellularAutomaton 一致.
类似 BooleanMinimize, BooleanTable 等操作可以直接作用在 BooleanFunction 对象上.
BooleanFunction 对象可以像其它布尔函数 And、Or 等一样作用于变量上.
在 StandardForm 和相关格式中，BooleanFunction 对象以编辑形式输出，仅显示变量数量.
BooleanVariables 给出一个 BooleanFunction 对象的变量数量.