真值表是使用于逻辑中（特别是在连结逻辑代数、布尔函数和命题逻辑上）的一类数学用表，用来计算逻辑表示式在每种论证（即每种逻辑变数取值的组合）上的值。尤其是，真值表可以用来判断一个命题表示式是否对所有允许的输入值皆为真，亦即是否为逻辑有效的。

“用真值表制表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施罗德于1880年代所发明的。这种表格于1920年代之后广泛地发现在许多文献上（扬·武卡谢维奇、埃米尔·波斯特、维特根斯坦）”（蒯因, 39）。路易斯·卡罗早在1894年就公式化了真值表来解决特定问题，但是包含他这项工作的手稿直到1977年才被发现^[1]。维特根斯坦的《逻辑哲学论》利用真值表把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。

真值表被用来计算以“决策程序”建构的命题表示式的值。命题表示式可以是一个原子公式（命题常数、命题变数或命题函数，如Px或P(x)），或以逻辑算子（如逻辑与（${\displaystyle \land }$）、逻辑或（${\displaystyle \lor }$）、逻辑非（${\displaystyle \lnot }$））由原子公式建构出来的公式。举例来说，${\displaystyle Fx\land Gx}$即是个命题表示式。

真值表中的列标题展示了 （i）命题函数与/或变量，和 （ii）建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对 （i）和 （ii）的T或F指派的每个可能的求值。换句话说，每行都是对 （i）和 （ii）的不同解释。

经典（就是说二值）逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统，它们是“真”或“假”，通常在表中简单的表示为T和F。

在布尔逻辑系统中，所有运算符都能以这种方式明确的定义。例如NOT（¬）关系定义如下：

${\displaystyle A}$	¬${\displaystyle A}$
F	T
T	F

例如，采用两个命题变量，${\displaystyle A}$和${\displaystyle B}$和逻辑运算符"AND"（∧），表示合取"A与B"或${\displaystyle A}$ ∧ ${\displaystyle B}$。在普通英语中，如果A和B都是真的，那么合取"${\displaystyle A}$ ∧ ${\displaystyle B}$"是真的；在所有的对${\displaystyle A}$ ∧ ${\displaystyle B}$的真值的可能指派，合取都是假的。这种联系定义如下：

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A}$∧${\displaystyle B}$
F	F	F
F	T	F
T	F	F
T	T	T

OR (∨)关系定义如下：

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A}$∨${\displaystyle B}$
F	F	F
F	T	T
T	F	T
T	T	T

可以构造复合的表达式，使用圆括号来指示优先级。

合取的否定¬（${\displaystyle A}$ ∧ ${\displaystyle B}$）≡ ${\displaystyle A}$ ∧ ${\displaystyle B}$，和否定的析取¬ ${\displaystyle A}$ ∨ ¬ ${\displaystyle B}$描述如下：

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A}$∧${\displaystyle B}$	${\displaystyle A}$∧${\displaystyle B}$	¬${\displaystyle A}$	¬${\displaystyle B}$	¬${\displaystyle A}$∨¬${\displaystyle B}$
F	F	F	T	T	T	T
F	T	F	T	T	F	T
T	F	F	T	F	T	T
T	T	T	F	F	F	F

真值表可以用来证明逻辑等价。

析取的否定¬（${\displaystyle A}$ ∨ ${\displaystyle B}$）≡ ${\displaystyle A}$ ∨ ${\displaystyle B}$，和否定的合取¬ ${\displaystyle A}$ ∧ ¬ ${\displaystyle B}$描述如下：

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A}$∨${\displaystyle B}$	${\displaystyle A}$∨${\displaystyle B}$	¬${\displaystyle A}$	¬${\displaystyle B}$	¬${\displaystyle A}$∧¬${\displaystyle B}$
F	F	F	T	T	T	T
F	T	T	F	T	F	F
T	F	T	F	F	T	F
T	T	T	F	F	F	F

比较上面两个真值表，因为对${\displaystyle A}$ ∧ ${\displaystyle B}$和¬ ${\displaystyle A}$ ∨ ¬ ${\displaystyle B}$二者，与${\displaystyle A}$ ∨ ${\displaystyle B}$和¬ ${\displaystyle A}$ ∧ ¬ ${\displaystyle B}$二者，枚举${\displaystyle A}$和${\displaystyle B}$的所有可能真值生成相同真值，它们分别是逻辑等价的，并可相互代换。这种等价是德·摩根定律中的。

A ∨ B (还写为${\displaystyle A\oplus B}$或${\displaystyle A\neq B}$)描述如下：

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A}$∨${\displaystyle B}$
T	T	F
T	F	T
F	T	T
F	F	F

下面的真值表给出2个二值变量（P,Q是布尔变量）的16个可能的真值函数中最常用的7个的定义：

${\displaystyle P}$	${\displaystyle Q}$	${\displaystyle P}$∧${\displaystyle Q}$	${\displaystyle P}$∨${\displaystyle Q}$	${\displaystyle P}$∧${\displaystyle Q}$	${\displaystyle P}$∨${\displaystyle Q}$	${\displaystyle P}$→${\displaystyle Q}$	${\displaystyle P}$←${\displaystyle Q}$	${\displaystyle P}$↔${\displaystyle Q}$
F	F	F	F	F	F	T	T	T
F	T	F	T	T	T	T	F	F
T	F	F	T	T	T	F	T	F
T	T	T	T	F	F	T	T	T

注解：

T = 真，F = 假

∧ = AND（逻辑合取）

∨ = OR（逻辑析取）

∨ = XOR（异或）

≡ = XNOR（异或非）

→ = “如果-那么”条件

← = “当”条件

↔ = 双条件或“当且仅当”

Johnston图，类似于文氏图和欧拉图，提供了可视化真值表的方式。LogicTutorial.com有展示真值表的交互的Johnston图。

对于二元运算符，还使用一种紧缩形式的真值表，这里的行标题和列标题指定操作元（operand）而表单元指定结果。例如布尔逻辑是这种真值表表示法：

这种表示法在运算符是交换性的时候特别有用，尽管你可以补充的指定行是第一个操作元而列是第二个操作元。这种紧缩的表示法在讨论逻辑的多值扩展时特别有用，因为组合数的爆炸性增加，它能有效的缩减所需要的行数。它还提供了在表中值的分布的快速可辩识的特征性"形状"，可以帮助读者更加快速的把握规律。

• 真值
• 连结词
• 真值函数
• 零阶逻辑
• 命题逻辑
• 布尔代数主题列表

• Quine, W.V.(1982), Methods of Logic, 4th edition, Harvard University Press, Cambridge, MA.

• Web-based truth table generator （页面存档备份，存于互联网档案馆）
• Boolean expression evaluator, generates truth table (Java applet) （页面存档备份，存于互联网档案馆）

查 论 编 数理逻辑 基本概念 公理 列表 势 一阶逻辑 形式证法（英语：Formal proof） 逻辑语义学 数学基础 信息论 蕴涵 结构 集合 定理 形式理论 类型论 定理 （列表（英语：Category:Theorems in the foundations of mathematics）及悖论（英语：Paradoxes of set theory）） 哥德尔完备性定理及哥德尔不完备定理 塔斯基不可定义定理 巴拿赫-塔斯基定理 康托尔 定理、悖论和对角论证法 紧致性定理 停机问题 林德斯特伦定理（英语：Lindström's theorem） 勒文海姆–斯科伦定理 罗素悖论 逻辑 传统逻辑 逻辑真理 恒真式 命题 推理 逻辑等价 一致性 相同一致性（英语：Equiconsistency） 逻辑论证 可靠性定理 有效性 直言三段论 对立四边形 文氏图 命题逻辑 逻辑代数 布尔函数 逻辑运算符 命题逻辑 命题公式 真值表 多值逻辑 三值 有限值（英语：Finite-valued logic） 无限值（英语：Infinite-valued logic） 经典逻辑 经典逻辑 一阶逻辑 二阶逻辑 一元（英语：Monadic second-order logic） 高阶逻辑 自由逻辑 量化 谓词（英语：Predicate (mathematical logic)） 一元谓词演算 集合论 集合 遗传集（英语：Hereditary set） 类 （基本）元素 有序对 序数 子集 相等 外延性 力迫 关系 等价关系 集合划分 集合运算 交集 并集 补集 笛卡儿积 幂集 同一性（英语：List of set identities and relations） 集合种类 可数集 不可数集 空集 居集（英语：Inhabited set） 单元素集合 有限集合 无限集合 传递集合 超滤子（英语：Ultrafilter (set theory)） 递归集合 模糊集 全集 可构造全集（英语：Constructible universe） 格伦迪克全集（英语：Grothendieck universe） 冯·诺伊曼全集 映射与势 函数、映射 定义域 到达域 像 单射、满射、双射 康托尔-伯恩斯坦-施罗德定理 同构 哥德尔数 列举法 大基数 不可达基数 阿列夫数 运算 二元运算 集合理论 策梅洛-弗兰克尔 (ZFC) 选择公理 连续统假设 广义集合论 (GST)（英语：General set theory） 克里普克-普拉克 (KP)（英语：Kripke–Platek set theory） 莫尔斯-凯利集合论 (MK)（英语：Morse–Kelley set theory） 朴素集合论 新基础集合论 塔斯基-格罗滕迪克 (TG)（英语：Tarski–Grothendieck set theory） 冯·诺伊曼-博内斯-哥德尔 (NBG) 建构式集合论（英语：Constructive set theory） 句法（英语：Syntax (logic)）及语言 字母表 元数 自动机理论 公理模式 表达式 基础表达式（英语：Ground expression） 扩展（英语：Extension by new constant and function names） 关系 形式 文法 语言 证明 系统 理论 形成规则（英语：Formation rule） 合式公式 原子公式 封闭式 基本式（英语：Ground formula） 开放式 自由变量和约束变量 元语言 逻辑运算符 ¬ ∨ ∧ → ↔ 逻辑相等（英语：Logical equality） 谓词（英语：Predicate (mathematical logic)） 泛函谓词 谓词变量 命题变量 量化 ∃ ! ∀ 级别（英语：Quantifier rank） 句子 原子句子 逻辑签名（英语：Signature (logic)） 字符串 替换法（英语：Substitution (logic)） 逻辑符号 函数符号 逻辑常量（英语：Logical constant） 非逻辑符号（英语：Non-logical symbol） 变数 逻辑术语（英语：Term (logic)） 公理系统示例 （列表（英语：List of first-order theories）） 实算术（英语：True arithmetic） 皮亚诺公理 二阶（英语：Second-order arithmetic） 初等函数（英语：Elementary function arithmetic） 原始递归（英语：Primitive recursive arithmetic） 罗宾逊算术（英语：Robinson arithmetic） 斯科勒姆算术（英语：Skolem arithmetic） 实数的构造 塔尔斯基公理化（英语：Tarski's axiomatization of the reals） 布尔代数 正则定义（英语：Boolean algebras canonically defined） 最小公理（英语：Minimal axioms for Boolean algebra） 几何（英语：Foundations of geometry） 欧几里得几何 《原本》 希尔伯特公理 非欧几里得几何 塔尔斯基公理（英语：Tarski's axioms） 《数学原理》 证明论 形式证明 自然演绎 蕴涵 推理规则 相继式演算 定理 系统 形式 公理 演绎 希尔伯特演绎系统 列表（英语：List of Hilbert systems） 完备理论（英语：Complete theory） ZFC系统的独立性（英语：Independence (mathematical logic)） 列表 不可能证明（英语：Proof of impossibility） 序数分析（英语：Ordinal analysis） 逆数学 自恰理论（英语：Self-verifying theories） 模型论 解释 结构 初等等价 有限模型（英语：Finite model theory） 饱和模型 子结构 非标准模型 算术（英语：Non-standard model of arithmetic） 结构图（英语：Diagram (mathematical logic)） 基本图（英语：Elementary diagram） 分类理论（英语：Categorical theory） 完备模型论（英语：Model complete theory） 可满足性（英语：Satisfiability） 逻辑语义学 强度（英语：Strength (mathematical logic)） 真理 语义理论 塔尔斯基 克里普克 T-模式 转移原则（英语：Transfer principle） 真理谓词（英语：Truth predicate） 真值 型 超积 有效性 可计算性理论 邱奇数 邱奇-图灵论题 递归可枚举集合 可计算函数 递归集合 决定性问题 可决定性（英语：Decidability (logic)） 不可决定性 P NP P/NP问题 柯氏复杂性 Λ演算 原始递归函数 递归 递归集合 图灵机 类型论 其他相关 抽象逻辑（英语：Abstract logic） 范畴论 具象范畴、抽象范畴 集合范畴 逻辑史 数理逻辑 历史年表（英语：Timeline of mathematical logic） 逻辑主义 数学对象 数学哲学 超任务（英语：Supertask） 数学主题