布尔运算 - Wolfram Mathematica 7 Documentation

布尔运算

建立在其核心符号结构上， Mathematica 提供通道直接进入工业-强度的最新布尔计算。具有布尔函数的高度概括的符号代表，以及对"无论什么"的参数和数值的全面支持， Mathematica 提供完美的布尔函数的转换、最小化、消除、可满足性和分析、确认可能、检验和其它千百个变量的应用。

基本布尔运算符

And(&&,

) ▪ Or(||,

) ▪ Not(!, ¬) ▪ Nand(

) ▪ Nor(

) ▪ Xor(

)

Xnor(

) ▪ Implies(

) ▪ Equivalent(

) ▪ Majority

True, False — 符号性真值

Boole — 将符号性真值转换在0和1之间

普通布尔运算函数

BooleanFunction — 普通布尔函数（从编号、与"无论什么"。。。配图）

BooleanCountingFunction — symmetric 对称布尔函数（计数 True 数值）

BooleanMinterms, BooleanMaxterms — 最小项和最大项的组合

Conjunction, Disjunction — 有关变量目录的AND, OR (cf.

)

布尔结构

BooleanTable — 生成真矢量或真值表

BooleanVariables — 寻找布尔表达式中的变量

换算和缩小

BooleanConvert — 换算成特殊格式(CNF, DNF, ESOP, NOR, BFF, ...)

BooleanMinimize — 找出最小布尔格式

布尔函数的检测

SatisfiableQ — 检测输入至函数是否给出 True

SatisfiabilityCount — 计算有多少可能输入给出 True

SatisfiabilityInstances — 找出给出 True 的实例

TautologyQ — 检测是否所有可能的输入给出 True

述词计算

ForAll (

), Exists (

) — 布尔变量的量化

Resolve — 将定量化了的变量从布尔表达式中去除

LogicalExpand — 扩展包括布尔运算符和方程式

迭代布尔系统 »

CellularAutomaton ▪ TuringMachine

位矢量运算»

BitAnd ▪ BitOr ▪ BitXor ▪ BitLength ▪ BitShiftLeft ▪ BitSet ▪ ...

数值布尔计算

Nearest, FindClusters — 在布尔矢量上的操作

HammingDistance ▪ MatchingDissimilarity ▪ ...

Minimize, Maximize — 布尔合理化

教程

Relational and Logical Operators

Solving Logical Combinations of Equations

更多关于

Discrete Mathematics

Bitwise Operations

Basic Logic & Boolean Algebra