1 基本概念
1.1 定义
真值表是把逻辑命题或布尔表达式在所有可能输入条件下的取值结果逐项列出的表格。表中通常按变量的不同组合排列，并给出相应的输出值，用以直观呈现一个表达式在各种情形下的真假变化。
1.2 作用与用途
真值表的主要作用是系统检验逻辑关系。它既能帮助判断一个命题是否总为真、总为假，还是只在部分条件下成立，也便于比较不同表达式是否具有相同逻辑含义。在线路分析、程序条件检查和数学推理中，它都是常见的基础工具。
1.3 与形式逻辑的关系
在形式逻辑中，真值表常用于分析命题联结词及复合命题的真假条件。通过列出各命题变元的全部可能取值，可以验证推理式是否有效，也能说明某些逻辑结构为何成立或不成立。因此，它是形式逻辑教学与证明中的重要辅助手段。
1.4 与布尔代数的关系
在布尔代数中，变量通常只有两种取值，即真与假，或1与0。真值表正是布尔运算的标准展示方式之一，可用来说明与、或、非等运算的结果，并支持代数化简前后的等价检验。对于数字系统设计来说，它是连接逻辑表达与代数运算的基础环节。
2 构成要素
2.1 命题变量与输入项
真值表的左侧通常列出命题变量或输入变量。每个变量代表一个可取不同值的基本条件，表格通过这些输入项的组合，逐步展开所有可能情况。变量数量越多，输入组合也越多，表格规模随之增大。
2.2 逻辑连接词与运算符
表中还会出现表示逻辑关系的连接词或运算符，例如否定、合取、析取、条件和双条件等。它们决定了输出列如何计算，也是区分不同命题结构的核心部分。对于布尔表达式而言，运算符通常以符号形式出现，便于直接计算。
2.3 输出列与结果判定
输出列用于记录表达式在每组输入下的结果。根据需要，输出可能只有一列，也可能分成若干中间结果列，以显示分步计算过程。通过查看输出列，可以判断该表达式在所有情形下的逻辑性质。
2.4 取值组合的排列规则
真值表中的输入组合通常按照固定顺序排列，常见方式是从全假到全真，或按照二进制计数顺序展开。这样的排列有助于保持表格整齐，并便于人工检查和机器处理。对于多个变量，常用规律化的分层排列来保证完整性。
3 生成方法
3.1 单变量真值表
单变量真值表最为简单，只需列出该变量的两种取值及其对应输出。若表达式只是该变量本身，输出与输入相同；若包含否定，则输出恰好相反。这类表常用于入门教学，帮助建立对真假取值的直观理解。
3.2 双变量真值表
双变量真值表需要列出四种输入组合，即两个变量分别取真和假的全部排列。通过这四种情况，可以完整描述常见二元逻辑运算的结果。许多基础命题推理和电路门电路分析都以双变量表为起点。
3.3 多变量真值表
当变量增多时，真值表会按组合数量成倍扩展。若有n个变量，则共有2^n种输入组合，因此表格长度会迅速增加。虽然规模更大，但这种展开方式仍是最直接、最系统的表示方法。
3.3.1 组合枚举法
组合枚举法是指依次写出所有可能的输入组合，不遗漏任何一种情况。它强调完整性，适合手工构表或教学演示。为了减少疏漏，通常会配合固定顺序逐项列出。
3.3.2 二进制排序法
二进制排序法将真假值视为0与1，并按照二进制计数规律排列。这样不仅便于生成表格，也适合计算机自动处理。该方法在变量较多时尤为高效，因为它天然对应位运算和编码方式。
3.4 复杂表达式的分步填表
对于结构较复杂的表达式，常先计算局部子式，再逐层合并得到最终结果。分步填表可以清晰显示每一步运算，减少直接求值时的出错概率。它也有助于检查表达式之间是否存在等价变形。
4 逻辑运算中的应用
4.1 否定运算
否定运算表示对命题取反，是真值表中最基础的逻辑操作之一。对于一个命题，若其值为真，则否定后为假；反之亦然。通过单列对照，否定的作用十分直观。
4.2 合取与析取
合取通常表示“并且”，只有当两个命题都为真时结果才为真。析取通常表示“或者”，只要至少一个命题为真，结果就为真。真值表能够明确区分这两种连接词的不同含义，避免日常语言中的歧义。
4.3 条件命题与双条件命题
条件命题用于表达“如果……那么……”的关系，其真假并不完全等同于自然语言中的因果概念。双条件命题则表示两边真假一致时为真。真值表在这两类命题中尤其重要，因为它能准确揭示它们的逻辑定义。
4.4 否定范式与合取范式
否定范式和合取范式是逻辑表达式的两种常见标准形式。真值表可帮助从原始表达式出发，确定哪些情形需要保留为真，从而构造相应范式。它在逻辑化简、证明和电路实现中都有实际价值。
5 判断与分析功能
5.1 重言式判断
若一个表达式在所有输入组合下都为真，则称为重言式。真值表可以直接检验这一性质，只要输出列全为真即可。此类判断常用于证明某些逻辑等式或推理规则有效。
5.2 矛盾式判断
若一个表达式在所有输入组合下都为假，则称为矛盾式。通过真值表检查输出列是否全为假，可以快速识别这类命题。矛盾式在逻辑分析中通常表示不可成立的情形。
5.3 可满足性判断
可满足性指的是一个表达式至少存在一组输入使其为真。真值表通过穷尽所有情况，能够直接判断表达式是否具备满足条件。它是逻辑推理和自动求解中的基础概念。
5.4 等值关系验证
两个表达式若在所有输入组合下输出一致，则它们逻辑等值。真值表是验证这一结论的最直接方法，因为只需逐项比较对应输出即可。许多逻辑变换与化简规则都可借此确认。
6 在计算机与数字电路中的应用
6.1 逻辑门真值表
逻辑门是真值表最典型的应用对象。与门、或门、非门以及异或门等基本门电路，都可以用表格精确描述输入与输出的对应关系。工程设计中，逻辑门真值表常作为标准参考。
6.2 组合逻辑电路分析
在组合逻辑电路中，输出只取决于当前输入，不依赖历史状态。真值表可以完整刻画这种对应关系，帮助分析电路功能是否符合设计意图。对于复杂线路，它还能辅助找出中间逻辑环节。
6.3 电路设计与化简
设计电路时，常先根据功能需求列出真值表，再根据表格选择合适的逻辑表达式或门电路实现。若已知电路输出表，也可反向进行化简，以减少元件数量或降低实现复杂度。真值表因此成为设计与验证之间的桥梁。
6.4 程序条件与布尔表达式调试
在程序开发中，条件判断语句本质上也可视作布尔表达式。真值表有助于检查复杂条件是否写对，尤其适用于多重判断、嵌套分支或边界条件分析。通过列举输入情形，可以更容易发现遗漏或逻辑偏差。
7 常见扩展形式
7.1 部分真值表
部分真值表只列出某些关键输入组合，而不穷尽全部情况。它常用于已有前提条件时的简化分析，或者在教学中突出重点情形。虽然不如完整表格严密，但在特定场景下更高效。
7.2 三值逻辑表
三值逻辑在传统真与假之外，再引入第三种状态，例如未定、未知或空值。对应的真值表不再只有两列取值，而需要处理更丰富的状态组合。它适用于某些形式推理、数据库语义或计算机系统中的特殊场景。
7.3 多值逻辑表
多值逻辑将取值扩展到三个以上。此时真值表的结构更复杂，但基本思想仍是列举所有输入与输出对应关系。它在研究非经典逻辑时较为常见，也能反映不同系统对“真”的细分方式。
7.4 概率逻辑中的对应表示
在概率逻辑中，命题不一定只有确定真假，而可能带有发生概率或可信度。与传统真值表相比，这类表示更强调数值化的不确定性。虽然形式上有所不同，但其核心目标仍是说明条件与结果之间的对应关系。
8 相关概念比较
8.1 与维恩图的比较
维恩图通过集合重叠区域展示逻辑关系，强调空间直观性；真值表则通过逐项列举输入输出来体现严格性。前者适合展示集合包含、交并补等关系，后者更适合精确检验逻辑恒等式。两者常可互补使用。
8.2 与逻辑公式的比较
逻辑公式强调表达结构，是真值表所依据的对象；真值表则强调结果展开，是公式含义的具体化呈现。公式更简洁，适合书写与推导；表格更直观，适合验证与比较。二者分别代表抽象表达与具体枚举两种方式。
8.3 与卡诺图的比较
卡诺图是一种以邻接关系为核心的化简工具，常用于简化布尔函数。真值表更适合完整列举和精确判定，而卡诺图更强调合并相邻项以减少表达式复杂度。通常先有真值表，再根据需要转入卡诺图处理。
8.4 与决策表的比较
决策表主要用于描述条件与动作之间的对应关系，常见于业务规则和流程控制。真值表则专注于逻辑真假与布尔结果，结构更偏理论化。两者都采用表格形式，但目标、语义和适用范围并不相同。
9 历史与发展
9.1 早期逻辑表格化表达
逻辑表格化表达可追溯到早期数学与哲学传统中的分类列举方法。随着命题逻辑的发展，研究者逐渐需要一种更系统的方式来展示不同命题组合的真假关系。真值表正是在这一需求中逐步形成。
9.2 现代数理逻辑中的标准化
进入现代数理逻辑阶段后，真值表被广泛用作标准化工具。它不仅服务于逻辑学本身，也成为证明、语义分析和教学中的通用方法。随着符号系统的完善，真值表的写法和使用方式也更加规范。
9.3 计算机时代的普及
计算机出现后，真值表在数字电路设计、程序分析和自动化推理中得到更广泛应用。由于它与二进制表示天然契合，便于由机器生成和处理，因此在相关学科中长期保持高使用率。其地位也从纯理论工具扩展为工程分析手段。
10 学习与教学中的使用
10.1 初学者训练
真值表是逻辑入门阶段最常见的练习方式之一。通过反复填写表格，学习者可以逐步掌握各种连接词的含义，并理解复合命题的求值规则。它有助于建立从局部取值到整体判断的思维习惯。
10.2 课堂推理示例
在课堂上，教师常借助真值表展示推理过程或验证命题等价关系。与单纯口头讲解相比，表格更便于学生观察每一步变化，也更容易发现逻辑中的关键条件。对于抽象内容来说，这是一种较为清晰的演示方式。
10.3 常见错误与易混点
初学者常见的错误包括漏写输入组合、混淆“或”与“异或”的含义，以及把条件命题误解为日常语言中的因果关系。另一个常见问题是忽略中间步骤，直接写出结论，导致判断失误。规范排列和逐步检查，是减少这类错误的有效方法。