🔀
逻辑真值表生成
输入布尔表达式（与或非、异或），自动列出全部输入组合的真值表。
本地处理 · 不上传
加载工具中…
相关：真值表 · 逻辑 · 布尔 · and or not · xor · truth table
逻辑真值表生成解析布尔表达式，列出所有变量取值组合下的结果，支持与或非、异或与蕴含。验证复杂条件判断时非常直观。
使用步骤
- 输入布尔表达式
- 查看变量列表
- 查看完整真值表
- 对照结果验证逻辑
使用场景
- 验证代码中复杂 if 条件的正确性
- 化简冗余的判断逻辑
- 学习数字电路与离散数学
- 检查两个表达式是否等价
小贴士
- n 个变量有 2 的 n 次方行。四个变量已是 16 行，超过五六个变量真值表就不适合人工检查了。
- 验证两个表达式是否等价，最可靠的办法就是各自生成真值表逐行比对。
- 德摩根定律常用来化简：非（A 且 B）等于 非A 或 非B，把否定推进括号内往往能让条件更好读。
常见问题
真值表能用来化简条件吗？
能。看出哪些变量在所有为真的行中取值无关，就可以从表达式里去掉。这正是卡诺图化简的基础。
蕴含（如果...那么）怎么理解？
A 蕴含 B 只在 A 为真而 B 为假时才为假，其余情况都为真。前件为假时整体恒为真，这一点最反直觉，但它是逻辑学的标准定义。
变量太多怎么办？
超过五个变量真值表会有 32 行以上，人工核对不现实。这时应该拆分子表达式分别验证，或直接写单元测试覆盖关键组合。
逻辑真值表生成是免费的吗？
是。本站所有工具完全免费，无需注册登录、无广告干扰，打开即用。
使用逻辑真值表生成，我的数据安全吗？
安全。该工具在你的浏览器本地完成处理，输入内容不会上传到服务器，隐私更有保障。