学数字电路或者离散数学的时候，真值表是个绕不开的东西。老师让你手写一个逻辑表达式的真值表，变量一多就很容易漏掉某一行或者算错某个值。这篇文章讲讲真值表是什么、怎么用工具自动生成，以及实际使用中的一些注意事项。

什么是真值表

真值表（Truth Table）就是一张把逻辑表达式所有可能的输入组合以及对应的输出结果都列出来的表格。每个变量可以取真（1/True）或假（0/False）两种值，n 个变量就有 2 的 n 次方种组合方式，真值表就把每种组合对应的表达式结果都写清楚。

举个最简单的例子，两个变量 A 和 B 做 AND 运算（逻辑与）：

A | B | A AND B
--|---|--------
0 | 0 |    0
0 | 1 |    0
1 | 0 |    0
1 | 1 |    1

四行覆盖了 A 和 B 所有可能的取值组合，右边就是每种情况下 A AND B 的运算结果。只有当 A 和 B 同时为 1 时，结果才是 1，其余情况都是 0。这就是逻辑与的含义。

真值表的作用就是把一个抽象的逻辑表达式具体化、可视化。你不用去猜这个表达式在某种输入下会输出什么，查表就知道答案。

支持的逻辑运算符

真值表生成器一般支持这些基本的逻辑运算符：

  • AND（与）：A && B 或 A AND B，所有输入为真时结果才为真
  • OR（或）：A || B 或 A OR B，至少一个输入为真时结果为真
  • NOT（非）：!A 或 NOT A，取反，真变假假变真
  • XOR（异或）：A XOR B，两个输入不同时为真，相同时为假
  • NAND（与非）：A NAND B，先做与运算再取反
  • NOR（或非）：A NOR B，先做或运算再取反
  • IMPLIES（蕴含）：A -> B，A 为真且 B 为假时结果为假，其余情况为真

不同的工具在运算符写法上可能有差异，有的支持 C 语言风格的 && 和 ||，有的用文字 AND/OR，还有的支持数学符号。使用前看一下工具的语法说明就行。

括号可以用来改变运算优先级，和数学表达式一样。(A OR B) AND C 和 A OR (B AND C) 是完全不同的两个逻辑表达式，生成的真值表也不一样。

变量增多时真值表会怎样

这是使用真值表时必须注意的一个事情——随着变量数量增加，真值表的行数呈指数级增长：

  • 1 个变量：2 行（0, 1）
  • 2 个变量：4 行（00, 01, 10, 11）
  • 3 个变量：8 行
  • 4 个变量：16 行
  • 5 个变量：32 行
  • 6 个变量：64 行
  • 10 个变量：1024 行

2 到 4 个变量的真值表手写还能接受，到了 5 个以上就开始痛苦了，不但工作量大而且极易出错。这也是为什么真值表生成器在这种时候特别有用——它不会漏行也不会算错，你只需要输入正确的表达式就行。

不过变量太多的时候（超过 6-7 个），即使生成了完整的真值表，人工查看和分析也变得困难。这时候通常会配合其他方法一起用，比如卡诺图化简或者 Quine-McCluskey 算法来找最简表达式。

实际用途

真值表不只是作业题里的东西，在实际工作中也有它的用处：

数字电路设计验证：设计了一个组合逻辑电路（比如加法器、译码器、多路选择器），画完原理图之后需要验证功能是否正确。写出电路对应的逻辑表达式，生成真值表，逐行检查输出是否符合预期。如果发现某一行的结果不对，就说明电路设计有问题，需要回头排查。

布尔代数等价性证明：两个看起来不一样的逻辑表达式实际上可能是等价的。分别生成它们的真值表，对比每一行的输出是否完全一致。如果所有行的结果都相同，那这两个表达式在逻辑上是等价的。这在简化电路或者优化代码的时候有用——你可以确认优化前后的行为没有变化。

离散数学作业检查：如果你正在修离散数学课，大概率会有真值表相关的习题。做完之后用工具验证一下，确认自己手写的没有遗漏或计算错误。

编程中的条件判断验证：写代码的时候遇到复杂的 if 条件判断，多个条件用 AND/OR/NOT 组合在一起。有时候自己都会搞混什么条件下会进入哪个分支。把条件表达式提取出来生成一张真值表，能帮你理清所有分支的触发情况。特别是那些边界条件的组合，光靠脑子想容易遗漏。

// 比如这样一段判断逻辑
if ((user.isAdmin || user.isEditor) && !user.isSuspended && document.status === 'active') {
    // 允许编辑
}

三个布尔变量加上一个枚举比较，组合起来情况不少。列个真值表能帮你看清楚到底哪些用户在哪些状态下有权限操作。

使用示例

来看几个具体的例子，感受一下工具怎么用：

半加器：半加器有两个输出——求和位 S 和进位位 C。输入是 A 和 B。

S = A XOR B，C = A AND B

生成的真值表：

A | B | S (XOR) | C (AND)
--|---|---------|--------
0 | 0 |    0    |    0
0 | 1 |    1    |    0
1 | 0 |    1    |    0
1 | 1 |    0    |    1

三变量多数表决：三个输入 A、B、C 中至少有两个为 1 时输出 F 为 1。

F = (A AND B) OR (B AND C) OR (A AND C)

这个表达式有 3 个变量，真值表会有 8 行：

A | B | C | F
--|---|---|---
0 | 0 | 0 | 0
0 | 0 | 1 | 0
0 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 0 | 0 | 0
1 | 0 | 1 | 1
1 | 1 | 0 | 1
1 | 1 | 1 | 1

可以看到，有三行的输出为 1，对应的是恰好有两个或三个输入为 1 的情况，符合"多数表决"的逻辑。

真值表生成有哪些常见错误

使用真值表生成器时有几个地方容易踩坑：

  • 运算优先级搞错：AND 的优先级高于 OR（类似乘法高于加法）。A OR B AND C 实际上是 A OR (B AND C)，不是 (A OR B) AND C。如果不确定优先级，多用括号。
  • 变量名拼写不一致：大写和小写在大多数工具里是不同的变量。a 和 A 会被当成两个独立的变量，导致真值表凭空多出一倍的行数。
  • 异或和或混淆：初学者容易把 XOR（异或）和 OR（或）搞混。记住 XOR 是"不相同才为真"，OR 是"至少一个为真就为真"。
  • 蕴含运算的方向：A -> B（A 蕴含 B）只有 A=1 且 B=0 时才为 0，其余三种情况都为 1。这个直觉上不太符合日常理解，容易记错。

常见问题

真值表最多支持几个变量？

理论上有多少变量都行，但实际上 6 个变量就已经 64 行了，8 个变量 256 行，表格会很宽很长。建议控制在 4-5 个变量以内，超过这个数量真值表就不太适合人类阅读了，应该考虑用卡诺图或逻辑化简工具。

真值表能化简逻辑表达式吗？

真值表本身不能化简，但它可以帮你验证化简结果是否正确。化简通常用卡诺图（Karnaugh Map）或奎因-麦克拉斯基算法。生成真值表后，你可以对照结果检查化简后的表达式是否等价。

支持异或和同或吗？

支持。异或（XOR）用符号 ^ 或 ⊕ 表示，同或（XNOR）是异或的取反。这两个运算在加法器设计和奇偶校验中特别常用。

总结

真值表是理解和验证逻辑表达式的基础工具。变量少的时候手写还行，多了以后还是交给工具靠谱。在线真值表生成器的价值在于省时间、避免人为错误，同时还能快速验证你的逻辑推导是否正确。不管是做电路设计、写代码还是写作业，遇到不确定的布尔表达式都可以丢进去跑一遍看看结果。