Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学和算法 > 逻辑和布尔代数 >
MATHEMATICA 指南函数 »|更多关于 »|教程 »
逻辑和布尔代数
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  ▪ ...
教程
更多关于
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF