真值表生成器
根据布尔表达式（AND/OR/NOT/XOR/→/↔）生成完整真值表，最多支持 8 个变量。全部在客户端本地处理。
运算符：AND & · OR | · NOT ! · XOR ^ · → (蕴含) · ↔ (等价)。变量为单个字母。
| 结果 | |
|---|---|
使用方法
- 1 输入使用变量和运算符组成的布尔表达式。
- 2 可使用 AND、OR、NOT、XOR、→（蕴含）或 ↔（等价），并配合圆括号使用。
- 3 系统会立即生成完整真值表（共 2ⁿ 行）。
为什么使用此工具
- 为任意布尔表达式/命题逻辑生成完整真值表。
- 支持最多 8 个变量以及标准逻辑运算符。
- 完全在浏览器本地运行。
常见问题
支持哪些运算符？
AND (&)、OR (|)、NOT (!)、XOR (^)、蕴含 → (->)，以及等价 ↔ (<->)。既可以使用关键字（AND、OR、NOT、XOR），也可以使用符号。
运算符的优先级是怎样的？
NOT 优先级最高，其次是 AND，然后是 XOR，接着是 OR、→，最后是 ↔。可以用圆括号来改变运算顺序。
最多可以使用多少个变量？
最多 8 个变量（256 行）。变量为单个字母，例如 A、B、C。
真值表显示的是什么内容？
所有变量的真/假组合，以及整个表达式在每种组合下的运算结果。
什么是 真值表生成器？
真值表生成器可以解析一个布尔表达式（命题逻辑），并列出变量所有真/假组合对应的运算结果。
功能特性
完整的表达式解析器
支持 AND、OR、NOT、XOR、NAND、NOR、IMPLIES (>) 和 IFF,并遵循正确的运算符优先级。
所有变量组合
检测变量并枚举真值表的每一行。
免费且私密
在您的设备上运行——不会上传任何内容。
示例
Input
A AND BOutput
A B | A∧B
0 0 | 0
0 1 | 0
1 0 | 0
1 1 | 1常见使用场景
-
1
数字逻辑设计
在构建或简化电路之前验证门电路表达式。
-
2
离散数学学习
检查逻辑等价式和重言式。
-
3
简化条件
查看复合布尔条件在所有输入下的行为表现。
Zerethon 的真值表生成器会解析布尔表达式,并在您的浏览器中生成完整的真值表。它支持 AND、OR、NOT、XOR、NAND、NOR、IMPLIES 和 IFF,并遵循标准运算符优先级,列出输入变量的所有组合。一切均在客户端运行——不会上传任何内容。
- 分类
- 数学
- 价格
- 免费
- 隐私
- 基于浏览器
- 注册
- 无需
参考资料
- 真值表 — Wolfram MathWorld — Wolfram MathWorld
- 真值表 — Wikipedia
隐私
除非另有说明，否则你的数据永远不会离开浏览器。真值表生成器 完全在客户端运行 — 无需上传服务器，不记录日志，不追踪你输入的内容。
相关工具
在 Zerethon Social 上创作、分享与成长
免费注册。赚取积分，收集成就，与全球创作者建立联系。