Mathematica 9 is now available

THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

New to Mathematica? Find your learning path »

Mathematica > 数学和算法 > 离散数学 > 布尔运算 > BooleanVariables >

Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 > BooleanVariables >

Mathematica > 数学和算法 > 图与网络 > 图编程 > 布尔运算 > BooleanVariables >

MATHEMATICA 内置符号

参见 »|更多关于 »

BooleanVariables

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

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

在 BooleanVariables[expr] 中，表达式 expr 可以包含布尔函数的任意组合，例如 And，Or，Not，以及 BooleanFunction 和相关函数.

在 BooleanVariables[bf] 中，表达式 bf 必须是单个 BooleanFunction 对象.

BooleanVariables[expr] 按照 Sort 返回的顺序给出变量列表.

关闭所有单元

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

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

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

Out[1]=

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

Out[1]=

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

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

属性和关系 (2)

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

用 BooleanVariables 获得 SatisfiabilityInstances 的变量列表：

FindInstance：

Conjunction 和 Disjunction：

可能存在的问题 (1)

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

BooleanFunction BooleanTable Variables Length

布尔运算

7.0版本的新功能概要

7.0的新功能: 字母列表

版本 7 的新功能

Ask a question about this page | Suggest an improvement | Leave a message for the team

格式: HTML | CDF