BooleanVariables

BooleanVariables[expr]

给出布尔表达式 expr 中布尔变量的列表.

BooleanVariables[bf]

给出 BooleanFunction 对象 bf 中布尔变量的数量.

更多信息

范例

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

基本范例  (2)

求出一个布尔表达式中的变量：

求出一个纯 BooleanFunction 对象的布尔变量的数量：

范围  (2)

求出布尔表达式中的布尔变量：

用编程方式得到一个纯布尔函数的参数数量：

属性和关系  (2)

缺省下 BooleanVariables 用作 BooleanTable 的变量列表：

用 BooleanVariables 获得 SatisfiabilityInstances 的变量列表：

FindInstance：

Conjunction 和 Disjunction：

可能存在的问题  (1)

任何没有明确使用布尔基元和函数的构建都是可变的：

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

文本

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

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