Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学和算法 > 离散数学 > 布尔运算 >
Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 >
Mathematica > 数学和算法 > 图与网络 > 图编程 > 布尔运算 >
MATHEMATICA 指南函数 »|更多关于 »|教程 »
布尔运算
建立在其核心符号结构上， Mathematica 提供通道直接进入工业-强度的最新布尔计算. 具有布尔函数的高度概括的符号代表，以及对"无论什么"的参数和数值的全面支持， Mathematica 提供完美的布尔函数的转换、最小化、消除、可满足性和分析、使得鉴定、检验和包括千百个变量的其它应用成为可能.
基本布尔运算符
And(&&, )  ▪ Or(||, )  ▪ Not(!, ¬)  ▪ Nand()  ▪ Nor()  ▪ Xor() Xnor()  ▪ Implies()  ▪ Equivalent()  ▪ Majority
True, False — 符号真值
Boole — 将符号真值转换成0和1
普通布尔运算函数
BooleanFunction — 普通布尔函数（从编号，与"无论什么"匹配，......）
BooleanCountingFunction — 对称布尔函数（计数 True 数值）
BooleanMinterms, BooleanMaxterms — 最小项和最大项的组合
Conjunction, Disjunction — 与、或变量列表（比照、）
    
布尔结构
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 — 布尔优化
教程
更多关于
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF