布尔运算

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

参考资料参考资料

基本布尔运算符

And(&&, ) ▪ Or(||, ) ▪ Not(!, ¬) ▪ Nand() ▪ Nor() ▪ Xor() Xnor() ▪ Implies() ▪ Equivalent() ▪ Majority

True, False 符号真值

Boole 将符号真值转换成0和1

特殊布尔函数

BooleanCountingFunction 个变量中有 个是真的

BooleanConsecutiveFunction 个变量中连续 个是真的

普通布尔运算函数

BooleanFunction 普通布尔函数(从编号,与"无论什么"匹配,......)

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

Conjunction, Disjunction 与、或变量列表(比照

布尔结构

BooleanTable 生成真矢量或真值表

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

UnateQ 检验一个布尔表达式是否是非蚀的(单调)

换算和最小

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 布尔优化

New to Mathematica? Find your learning path »
Have a question? Ask support »