 |
布尔运算
建立在其核心符号结构上， Mathematica 提供通道直接进入工业-强度的最新布尔计算. 具有布尔函数的高度概括的符号代表，以及对"无论什么"的参数和数值的全面支持， Mathematica 提供完美的布尔函数的转换、最小化、消除、可满足性和分析、使得鉴定、检验和包括千百个变量的其它应用成为可能.
参考资料
基本布尔运算符
And(&&, 
) ▪ Or(||, 
) ▪ Not(!, ¬) ▪ Nand(
) ▪ Nor(
) ▪ Xor(
) 
Xnor(
) ▪ Implies(
) ▪ Equivalent(
) ▪ Majority
Boole — 将符号真值转换成0和1
特殊布尔函数
BooleanCountingFunction — 
个变量中有 
个是真的
BooleanConsecutiveFunction — 
个变量中连续 
个是真的
普通布尔运算函数
BooleanFunction — 普通布尔函数（从编号，与"无论什么"匹配，......）
BooleanMinterms, BooleanMaxterms — 最小项和最大项的组合
Conjunction, Disjunction — 与、或变量列表（比照
、
）
布尔结构
BooleanTable — 生成真矢量或真值表
BooleanVariables — 寻找布尔表达式中的变量
UnateQ — 检验一个布尔表达式是否是非蚀的（单调）
换算和最小
BooleanConvert — 换算成特殊格式(CNF, DNF, ESOP, NOR, BFF, ...)
BooleanMinimize — 找出最小布尔格式
布尔函数的检测
SatisfiableQ — 检测函数的任何输入是否能给出 True
SatisfiabilityCount — 计算有多少可能的输入给出 True
SatisfiabilityInstances — 找出给出 True 的实例
TautologyQ — 检测是否所有可能的输入给出 True
述词计算
ForAll (
), Exists (
) — 布尔变量的量化
Resolve — 将量化了的变量从布尔表达式中去除
LogicalExpand — 扩展包括布尔运算符和方程式的表达式
迭代布尔系统 »
CellularAutomaton ▪ TuringMachine
位矢量运算 »
BitAnd ▪ BitOr ▪ BitXor ▪ BitLength ▪ BitShiftLeft ▪ BitSet ▪ ...
数值布尔计算
Nearest, FindClusters — 在布尔矢量上的操作
