BooleanTable

BooleanTable[bf]

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

BooleanTable[expr,{a1,a2,…}]

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

BooleanTable[expr,{a1,a2,…},{b1,…},…]

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

更多信息

  • 可能的变量组合按照 Tuples[{True,False},n] 的顺序给出.
  • BooleanTable 给出 True、False 的列表或数组.
  • Boole[BooleanTable[…]] 给出 1，0 值.
  • 在 BooleanTable[expr,{a1,a2,…}] 等函数中，对于 expr 中的任何变量，如果不是明确位于 ai 等之中，则保留符号形式.
  • BooleanTable[expr,vars1,…,varss] 等价于 Fold[BooleanTable,expr,{varss,…,vars1}]. »
  • BooleanTable[bf,{r1,r2,…}] 给出真值列表，对应于布尔函数 bf 的第 r1、r2、… 个变量的可能值.
  • BooleanTable[bf,{r1,…},{s1,…},…] 给出真值的嵌套表，其中最外层给出第 ri 个变量的组合. »

范例

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

基本范例  (2)

关于 Or 的真值向量：

转换为1，0形式：

Or 的二维真值表：

范围  (6)

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

有参数和值的真值表：

向量值的布尔表达式：

一个二维真值表：

一个三维真值表：

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

指定使用的参数坐标：

所用参数的坐标和分组：

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

推广和延伸  (1)

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

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

应用  (3)

概率  (2)

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

某些事件的概率：

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

说明 ：

假设当 时，您支付 2 单位，当 时，您获得 1 个单位：

当 x,y,z 都为真或假是等概率的情况下，预期的收入：

风险或方差为：

元胞自动机  (1)

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

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

属性和关系  (6)

含 n 个变量的 BooleanTable 有 个元素：

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

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

一个等价形式：

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

三个变量：

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

在这个例子中，BooleanTable 有 个元素：

给出一个列举的 BooleanFunction：

计算它的真值表：

列举的顺序与 FromDigits 一致：

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

转换为一个布尔函数：

用它做为任意其它函数：

转换为析取范式：

转换为一个 "NAND" 形式：

巧妙范例  (1)

BooleanCountingFunction 的真值表：

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

文本

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

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