如何使用真值表生成器
真值表生成器能将任何命题逻辑表达式一键转化为完整的真值表。在输入框中输入逻辑公式，使用快捷符号按钮插入常用运算符，真值表生成器会立即显示所有真假组合及对应的求值结果。
- 输入表达式 — 使用变量（如
p、q、r）和运算符（如¬、∧、∨、→、↔、XOR）输入逻辑公式。 - 使用快捷符号按钮 — 点击输入框下方的符号按钮，无需手动输入特殊字符。
- 查看真值表 — 真值表生成器列出所有 2ⁿ 种组合，结果列中 T（真）以绿色高亮，F（假）以红色标注。
- 查看表达式类型 — 工具自动将表达式归类为重言式（恒真）、矛盾式（恒假）或可满足式（结果有真有假）。
支持 Unicode 逻辑符号（¬、∧、∨、→、↔）以及英文关键字（NOT、AND、OR、IMPLIES、BICONDITIONAL、XOR）和 ASCII 简写（!、&、|、>、=、^）。可使用括号控制运算优先级。
公式与原理 — 真值表生成器
真值表生成器采用经典命题逻辑的标准语义：
行数 = 2^n （n = 不同变量的数量）
¬P = 非 P
P ∧ Q = P 与 Q
P ∨ Q = P 或 Q
P → Q = ¬P ∨ Q （蕴含：仅当 P=真 且 Q=假 时为假）
P ↔ Q = (P → Q) ∧ (Q → P) （等价：P 与 Q 真值相同时为真）
P XOR Q = P ≠ Q （异或：恰好一个为真时为真）| 符号 | 运算 | 为真的条件 |
|---|---|---|
| ¬P | 非（NOT） | P 为假时 |
| P ∧ Q | 与（AND） | P 和 Q 均为真时 |
| P ∨ Q | 或（OR） | P、Q 至少一个为真时 |
| P → Q | 蕴含（IMPLIES） | P 为假，或 Q 为真时 |
| P ↔ Q | 等价（BICONDITIONAL） | P 与 Q 真值相同时 |
| P XOR Q | 异或（XOR） | P、Q 中恰好一个为真时 |
使用前提与限制
真值表生成器在经典二值逻辑（排中律）下运行，每个命题只能为真或假。最多支持 8 个变量（256 行）。运算优先级遵循标准顺序：NOT > AND > XOR > OR > IMPLIES > BICONDITIONAL，可使用括号改变优先级。
真值表生成器的应用场景
真值表生成器适用于所有需要系统分析逻辑命题的场景，常见用途包括：
- 离散数学作业 — 通过比较真值表各列验证逻辑等价关系和蕴含证明。
- 数字电路设计 — 建模布尔门电路，验证电路在所有输入下的输出是否符合预期。
- 计算机科学课程 — 学习命题逻辑、可满足性（SAT）和模型检验的基本概念。
- 哲学与形式逻辑 — 通过构建完整真值表并检查反例，证明或反驳论证的有效性。
真值表生成器的分类功能可即时判断表达式是重言式（可证恒真）、矛盾式（可证恒假）还是可满足式（某些赋值下为真），无需逐行手动验证，大幅提升逻辑分析效率。