truth table
英 /truːθ ˈteɪb(ə)l/美 /truːθ ˈtæbəl/
n. 名词短语
真值表；逻辑运算表
基本释义
truth table 的核心含义是逻辑学与计算机科学中的「真值表」，即一个表格，列出复合命题在所有可能的真值组合下的真值。其本义指用表格形式穷尽地展示逻辑运算（如与、或、非、蕴含）的输入与输出关系。引申义可指任何以表格形式系统列举条件与结果对应关系的工具，例如在数字电路设计中描述逻辑门功能的表格，或在软件测试中列举输入条件与预期输出的表格。各义项均围绕「以表格穷举真值或条件-结果对应」这一核心，从严格的逻辑学定义扩展到工程与测试领域的应用。
词源与构词
truth 源自古英语 trēowth，意为「忠实、真实」，与 trēowe（忠诚的）同源；table 源自拉丁语 tabula，意为「板、表格」。复合词 truth table 为直译组合，字面即「真值的表格」。构词逻辑清晰：truth 限定表格内容为真值，table 指明呈现形式为表格。记忆时可联想：一张表（table）列出所有真（truth）与假，即真值表。
用在哪里
truth table 主要出现在学术写作（逻辑学、离散数学、计算机科学教材与论文）、技术文档（数字电路设计、软件测试用例）中，语气正式、中性。在商务邮件或日常口语中极少使用，若出现多属技术讨论。新闻报道中仅见于科技类报道。法律文本与文学作品中几乎不出现。各场景下含义基本一致，无显著语气差异，但工程语境中可能特指逻辑门或测试用例的真值表，逻辑学语境中则严格指命题逻辑的真值表。
语法提示
truth table 为可数名词短语，复数形式为 truth tables。常见句型：draw/construct a truth table（画真值表）；use a truth table to do sth（用真值表做某事）；the truth table for/of a proposition（命题的真值表）。易错点：介词常用 for 或 of，如 the truth table for conjunction；避免说 the truth table of conjunction 虽可接受但 for 更常见。作定语时用单数，如 truth table method（真值表法）。
同义词区别
与 truth table 意思相近的词有 logic table、truth matrix 等，但 truth table 是标准术语。logic table 较少用，可能指逻辑运算表，含义更宽泛。truth matrix 非标准说法。在数字电路领域，function table 或 logic function table 可指类似表格，但 truth table 更强调穷举真值组合。在软件测试中，decision table（决策表）与 truth table 功能相似，但决策表通常包含动作，而真值表仅列真值。选择时，逻辑学与计算机科学标准语境用 truth table；测试领域若强调条件与动作的对应，用 decision table 更准确。
易错提醒
truth table 为技术术语，语域正式，中性无褒贬。常见误用：在非技术语境中滥用，如日常对话中说「我们做个真值表吧」可能显得突兀；拼写错误，误写为 truth-table（作名词时通常分写，作定语时加连字符，如 truth-table method）。另注意与 true table 区分，后者不是标准术语。在学术写作中首次出现时宜给出定义。
固定搭配
- construct a truth table
- draw a truth table
- truth table for a proposition
- truth table method
- full truth table
- truth table of a logic gate
- truth table analysis
实用例句
The truth table for conjunction shows that the result is true only when both inputs are true.
Students are asked to construct a truth table for the given compound proposition.
In digital circuit design, a truth table is often used to specify the behavior of a logic gate.
The software tester prepared a truth table to cover all combinations of input conditions.
By comparing the truth tables, we can determine whether the two expressions are logically equivalent.