逻辑和布尔代数

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

参考资料参考资料

逻辑运算

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

True, False 符号真值

Boole 转换符号真值为0和1

布尔运算 »

BooleanFunction 一般布尔函数

BooleanConvert ▪ BooleanMinimize ▪ SatisfiableQ ▪ ...

数学逻辑

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

ForAll (), Exists () — 量词

Resolve ▪ Reduce ▪ FindInstance

布尔向量运算

Nearest, FindClusters 布尔向量的运算

HammingDistance ▪ MatchingDissimilarity ▪ ...

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