BooleanFunction

BooleanFunction[k,n]

表示第 k 个 n 元布尔函数.

BooleanFunction[values]

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

BooleanFunction[{{i11,i12,…}o1,…}]

表示由输入到输出的指定映射所定义的布尔函数.

BooleanFunction[spec,{a1,a2,…}]

给出 ai 元布尔表达式，对应于 spec 指定的布尔函数.

BooleanFunction[spec,{a1,a2,…},form]

给出 form 指定形式的布尔表达式.

更多信息

范例

打开所有单元关闭所有单元

基本范例  (3)

产生第 30 个三元布尔函数：

f 类似其它布尔运算符使用：

转换为一个析取范式的表达式：

直接产生该公式：

指定基于真值表的一个布尔函数：

用一个不完全指定的真值表：

将一个布尔表达式转换为一个 BooleanFunction：

测试它们表示的相同函数：

范围  (14)

基本用法  (3)

创建一个二元 BooleanFunction，并指针索引：

计算特殊参数的值：

对于符号参数保持未计算的形式：

BooleanFunction 可以和其它任何布尔运算符一样使用：

任何布尔表达式可以转换为一个 BooleanFunction 表达式：

包含 BooleanFunction 表达式的组合：

等价于 True 或 False 的一个 BooleanFunction 表达式自动化简：

BooleanFunction 是一个标准表示，其相等性可以用 SameQ 测试：

真值表  (7)

按标准顺序创建一个真值表：

创建一个等价的 BooleanFunction 表达式：

显示它们是相等的：

交替显示最后的真值表是相同的：

创建一个真值规则的完全列表：

创建相应的 BooleanFunction 表达式：

完全列表的真值规则的顺序没有效果：

用 _ 指示真值表中“不介意” ：

创建一个 BooleanFunction：

最后的真值表匹配原指定：

用 _ 和 __ 指示真值表中“不介意” ：

创建一个 BooleanFunction：

原规则完全指定函数，并且最后的真值表是相同的：

用元素为列表的列表指定一个向量值的真值表：

创建一个 BooleanFunction：

最后的输出匹配原指定：

用向量值的真值：

创建一个 BooleanFunction：

最后的真值表匹配原指定：

真值表也可以用 0 替代 False，用 1 替代 True：

最后的真值表是相同的：

其它表示  (4)

将任意布尔表达式转换为一个 BooleanFunction 表达式：

显示它们是相等的：

转换关于任何布尔运算符的表达式：

显示它们是相等的：

将一个 BooleanFunction 表达式转换为其它标准形式：

多个不同标准形式：

以及真值表：

或真值规则：

使用 CellularAutomaton 指定 BooleanFunction：

应用  (4)

列举布尔函数  (2)

列举所有 2 元布尔函数：

所有 3 元布尔函数：

随机取样 50 个 4 元函数：

按标准形式和最小化形式比较布尔函数的大小：

三个变量：

4 个变量，前 1000 个函数：

创建新指令  (1)

创建对应于 ≤、≥、< 和 > 的新布尔指令：

这些非常相近：

Implies 等价于 x<=y：

定义布尔函数 f≼g 在当且仅当 f[u]≤g[u] 时的联系：

这里我们将 x≼x∨y 映射到真值表：

用标准不等式：

对所有布尔函数 f 和 g，我们有 f∧g≼f≼f∨g：

当且仅当 f∧g⇔f，我们证明 f≼g：

当且仅当 f∨g⇔g，相似的 f≼g：

或 f≼g 和 g≼h 隐含 f≼h：

元胞自动机  (1)

产生 rule-30 的基本元胞自动规则：

模拟它：

与标准编码比较：

属性和关系  (7)

以可编辑形式显示 BooleanFunction，它指示参数的数量：

它是一个基本对象：

InputForm 给出一个编码，可以用于重构对象：

用编码构建一个 BooleanFunction：

结果和原来的相等：

BooleanFunction 值的次数和 BooleanTable 相同：

对应的 BooleanFunction 有一个相等的真值表：

次序是与 Tuples 一致：

BooleanFunction 的指针与 IntegerDigits 一致：

从一个 BooleanFunction 到它的指针的转换：

从任何布尔表达式到它的指针的转换：

显示它等价于有指针的 BooleanFunction 表达式：

布尔函数的指针与元胞自动机的指针一致：

更一般地，对于带有整数 和 的 CellularAutomaton[{k,2,r}]，关系如下：

CellularAutomaton 满足之前的属性，可以指定 BooleanFunction：

BooleanMinterms 也可以表示任何 BooleanFunction：

从最小项到指针的映射：

从指针到最小项的映射：

用位向量：

用 BooleanConvert 转换 BooleanFunction 到其它形式：

也可以用 BooleanConvert 从 BooleanFunction 转换到其它形式：

显示它们都是相等的：

用 BooleanTable 将 BooleanFunction 转换到真值表：

或转换到真值表：

Wolfram Research (2008)，BooleanFunction，Wolfram 语言函数，https://reference.wolfram.com/language/ref/BooleanFunction.html.

文本

Wolfram Research (2008)，BooleanFunction，Wolfram 语言函数，https://reference.wolfram.com/language/ref/BooleanFunction.html.

CMS

Wolfram 语言. 2008. "BooleanFunction." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/BooleanFunction.html.

APA

Wolfram 语言. (2008). BooleanFunction. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/BooleanFunction.html 年

BibTeX

@misc{reference.wolfram_2024_booleanfunction, author="Wolfram Research", title="{BooleanFunction}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/BooleanFunction.html}", note=[Accessed: 17-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_booleanfunction, organization={Wolfram Research}, title={BooleanFunction}, year={2008}, url={https://reference.wolfram.com/language/ref/BooleanFunction.html}, note=[Accessed: 17-November-2024 ]}