MATHEMATICA 内置符号

BooleanTable

BooleanTable[bf]
给出布尔函数 bf 的变量值的所有组合的真值列表.

BooleanTable

关于

的所有可能组合，给出布尔表达式 expr 的真值列表.

BooleanTable

给出 expr 真值的嵌套表格，其中最外层给出

的组合.

更多信息

可能的变量组合按照 Tuples[{True, False}, n] 的顺序给出.

BooleanTable 给出 True、False 的列表或数组.

Boole 给出，值.

在 BooleanTable 等函数中，对于 expr 中的任何变量，如果不是明确位于等之中，则保留符号形式.

BooleanTable 等价于 Fold.

BooleanTable 给出真值列表，对应于布尔函数 bf 的第、、... 个变量的可能值.

BooleanTable 给出真值的嵌套表，其中最外层给出第个变量的组合.

范例

关闭所有单元

例 (2)

关于 Or 的真值向量：

转换为1，0形式：

Or 的二维真值表：

关于 Or 的真值向量：

In[1]:=

Out[1]=

转换为1，0形式：

In[2]:=

Out[2]=

Or 的二维真值表：

In[1]:=

Out[1]//TableForm=

范围 (6)

产生一个布尔表达式的真值表：

有参数和值的真值表：

向量值的布尔表达式：

一个二维真值表：

一个三维真值表：

产生一个纯布尔函数的真值表：

指定使用的参数坐标：

所用参数的坐标和分组：

表达式不需要产生布尔值：

推广和延伸 (1)

产生没有明确给出变量列表的真值表：

使用的变量及次序按 BooleanVariables 给出：

应用 (3)

计算一个事件的概率，全部事件中真值事件的比例：

某些事件的概率：

恰好三个变量为真的概率：

说明

：

假设当

时，您支付 2 单位，当

时，您获得 1 个单位：

当

都为真或假是等概率的情况下，预期的收入：

风险或方差为：

产生一个布尔表达式的真值规则：

用这些规则展开一个元胞自动机：

属性和关系 (6)

含 n 个变量的 BooleanTable 有

个元素：

有 n 和 m 个变量，最后的矩阵有

个值：

有多个变量迭代的 BooleanTable 首先计算最外层的迭代：

一个等价形式：

BooleanTable 按照与 Tuples[{True, False}, n] 相同的顺序列举值：

三个变量：

SatisfiabilityCount 有效统计 BooleanTable 中 True 元素的数量：

在这个例子中，BooleanTable 有

个元素：

给出一个列举的 BooleanFunction：

计算它的真值表：

列举的顺序与 FromDigits 一致：

用 BooleanFunction 将一个真值表转换为一个函数或表达式：

转换为一个布尔函数：

用它做为任意其它函数：

转换为析取范式：

转换为一个 "NAND" 形式：

巧妙范例 (1)

BooleanCountingFunction 的真值表：

参见

Boole BooleanFunction SatisfiabilityInstances Table Array CellularAutomaton

更多关于

布尔运算

计算系统

7.0版本的新功能概要

7.0的新功能: 字母列表

7.0的新功能: 数学和算法

版本 7 的新功能