SEARCH MATHEMATICA 8 DOCUMENTATION

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

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

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

Mathematica 内置符号

参见 »|更多关于 »

BooleanMinterms

BooleanMinterms[k, n]
表示 n 元变量的 k

极小项。

BooleanMinterms[{k₁, k₂, ...}, n]
极小项 k_i 的析取。

BooleanMinterms[{{u₁, ..., u_n}, {v₁, ...}, ...}]
析取指数向量 u_i，v_i，... 给出的极小项。

BooleanMinterms[spec, {a₁, a₂, ...}]
给出关于变量 a_i 的布尔表达式，相应 spec 指定的极小项函数。

BooleanMinterms[spec, {a, a₂, ...}, form]
给出 form 指定形式的布尔表达式。

更多信息

BooleanMinterms[{{u₁, u₂, ...}}, {a₁, a₂, ...}] 给出 b₁b₂...，其中当 u_i 为 True 时，b_ia_i，当 u_i 为 False 时 b_i=¬a_i。

u_i 等可以用 True、 False 或 1、0 来指定。

BooleanMinterms[k, n] 等价于 BooleanMinterms[{IntegerDigits[k, n, 2]}]。

BooleanMinterms[spec] 给出一个作用方式类似 Function 的布尔函数。

BooleanMinterms[spec][a₁, a₂, ...] 给出等价于布尔表达式 BooleanMinterms[spec, {a₁, a₂, ...}] 的一个隐式表示。

BooleanConvert 将 BooleanMinterms[spec][vars] 转换为一个明确的布尔表达式。

在 BooleanMinterms[spec, {a₁, a₂, ...}, form] 中，可能的形式作为 BooleanConvert 给出。

BooleanMinterms[spec, {a₁, a₂, ...}] 缺省下按析取范式给出一个表达式。

范例

关闭所有单元

例 (4)

指定相同极小项的等价方式：

指定极小项的析取：

指定极小项析取的等价方式：

返回一个 BooleanFunction 对象，表示极小项的析取：

列举三个变量的所有极小项：

范围 (1)

参见

BooleanMaxterms BooleanFunction And BooleanConvert BooleanMinimize

更多关于

布尔运算

7.0版本的新功能概要

7.0 的新功能:字母顺序清单

7.0 的新功能: 数学和算法

7 的新功能

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