 |
逻辑和布尔代数
Mathematica 用符号形式表示布尔表达式，因此它们不仅可以计算，而且可以进行符号操作和转换. 并结合先进的量词排除、可满足性和等式的逻辑定理证明，Mathematica 为布尔代数提供了一个功能强大的框架体系.
参考资料
逻辑运算
And(&&, 
) ▪ Or(||, 
) ▪ Not(!, ¬) ▪ Nand(
) ▪ Nor(
) ▪ Xor(
) ▪ Implies(
) ▪ Equivalent(
) ▪ Equal(==) ▪ Unequal(!=) ▪ ...
Boole — 转换符号真值为0和1
布尔运算 »
BooleanFunction — 一般布尔函数
BooleanConvert ▪ BooleanMinimize ▪ SatisfiableQ ▪ ...
数学逻辑
FullSimplify — 化简逻辑表达式和证明定理
Resolve ▪ Reduce ▪ FindInstance
布尔向量运算
Nearest, FindClusters — 布尔向量的运算
