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

自动证明定理»

FindEquationalProof — 产生等式逻辑证明的表示

ProofObject  ▪  AxiomaticTheory  ▪  ...

布尔向量运算

Nearest, FindClusters — 布尔向量的运算

HammingDistance  ▪  MatchingDissimilarity  ▪  ...