逻辑和布尔代数

Wolfram 语言用符号形式表示布尔表达式,因此它们不仅可以计算,而且可以进行符号操作和转换. 并结合先进的量词排除、可满足性和等式的逻辑定理证明,Wolfram 语言为布尔代数提供了一个功能强大的框架体系.

参考资料参考资料

逻辑运算

And(&&,)  ▪  Or(||,)  ▪  Not(!,¬)  ▪  Nand()  ▪  Nor()  ▪  Xor()  ▪  Implies()  ▪  Equivalent()  ▪  Equal(==)  ▪  Unequal(!=)  ▪  ...

True, False 符号真值

Boole 转换符号真值为0和1

AllTrue  ▪  AnyTrue  ▪  NoneTrue

布尔运算 »

BooleanFunction 一般布尔函数

BooleanConvert  ▪  BooleanMinimize  ▪  SatisfiableQ  ▪  ...

数学逻辑

FullSimplify 化简逻辑表达式和证明定理

ForAll (), Exists () 量词

Resolve  ▪  Reduce  ▪  FindInstance

布尔向量运算

Nearest, FindClusters 布尔向量的运算

HammingDistance  ▪  MatchingDissimilarity  ▪  ...