建立在其核心符号结构上，Wolfram 语言提供通道直接进入工业-强度的最新布尔计算. 具有布尔函数的高度通用的符号表示，以及对“无论什么”的参数和数值的全面支持，Wolfram 语言提供完美的布尔函数的转换、最小化、消除、可满足性和分析、使得鉴定、检验和包括千百个变量的其它应用成为可能.

基本布尔运算符

And(&&,∧)  ▪  Or(||,∨)  ▪  Not(!,¬)  ▪  Nand(⊼)  ▪  Nor(⊽)  ▪  Xor(⊻) ▫ Xnor()  ▪  Implies()  ▪  Equivalent(⧦)  ▪  Majority

True, False — 符号真值

Boole — 将符号真值转换成0和1

特殊布尔函数

BooleanCountingFunction — 中 个变量为真

BooleanConsecutiveFunction — 中 个连续变量为真

普通布尔运算函数

BooleanFunction — 普通布尔函数（从编号，与“无论什么”匹配，......）

BooleanMinterms, BooleanMaxterms — 最小项和最大项的组合

Conjunction, Disjunction — 关于变量列表（cf. ∑、∏）的 AND、OR

列表中的谓词

AllTrue  ▪  AnyTrue  ▪  NoneTrue

布尔结构

BooleanTable — 生成真矢量或一般真值表

BooleanVariables — 求布尔表达式中的变量

UnateQ — 检验一个布尔表达式是否单边（单调）

可视化

RulePlot — 可视化布尔函数

换算和最小化

BooleanConvert — 换算成特殊格式(CNF, DNF, ESOP, NOR, BFF, ...)

BooleanMinimize — 找出最小布尔格式

布尔函数的检测

SatisfiableQ — 检测函数的任何输入是否能给出 True

SatisfiabilityCount — 计算有多少可能的输入给出 True

SatisfiabilityInstances — 找出给出 True 的实例

TautologyQ — 检测是否所有可能的输入给出 True

谓词演算

ForAll (∀), Exists (∃) — 布尔变量的量化

Resolve — 将量化了的变量从布尔表达式中去除

LogicalExpand — 扩展包括布尔运算符和方程式的表达式

迭代布尔系统 »

CellularAutomaton  ▪  TuringMachine  ▪  SubstitutionSystem  ▪  ShiftRegisterSequence

位矢量运算 »

BitAnd  ▪  BitOr  ▪  BitXor  ▪  BitLength  ▪  BitShiftLeft  ▪  BitSet  ▪  ...

数值布尔计算

Nearest, FindClusters — 在布尔矢量上的操作

HammingDistance  ▪  MatchingDissimilarity  ▪  ...

Minimize, Maximize — 布尔优化