布尔运算
建立在其核心符号结构上，Wolfram 语言提供通道直接进入工业-强度的最新布尔计算. 具有布尔函数的高度通用的符号表示，以及对“无论什么”的参数和数值的全面支持，Wolfram 语言提供完美的布尔函数的转换、最小化、消除、可满足性和分析、使得鉴定、检验和包括千百个变量的其它应用成为可能.
基本布尔运算符
And(&&,∧) ▪ Or(,∨) ▪ Not(!,¬) ▪ Nand(⊼) ▪ Nor(⊽) ▪ Xor(⊻) ▫ Xnor() ▪ Implies() ▪ Equivalent(⧦) ▪ Majority
Boole — 将符号真值转换成0和1
特殊布尔函数
BooleanCountingFunction — 
中 
个变量为真
BooleanConsecutiveFunction — 
中 
个连续变量为真
普通布尔运算函数
BooleanFunction — 普通布尔函数（从编号，与“无论什么”匹配，......）
BooleanMinterms, BooleanMaxterms — 最小项和最大项的组合
Conjunction, Disjunction — 关于变量列表（cf. ∑、∏）的 AND、OR
列表中的谓词
布尔结构
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 ▪ ...