布尔运算

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

参考资料参考资料

基本布尔运算符

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

True, False 符号真值

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

普通布尔运算函数

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

BooleanCountingFunction 对称布尔函数(计数 True 数值)

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

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

Predicates on Lists

AllTrue  ▪  AnyTrue  ▪  NoneTrue

布尔结构

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