真值表生成器 — 计算任何布尔表达式
我们的真值表生成器解析您输入的任何布尔表达式——使用A、B、C等变量以及AND、OR、NOT、XOR、NAND、NOR、蕴含（->）和双条件（<->）运算符——并在最多6个变量的每种可能的真/假输入组合上对其求值。结果是一个完整且正确排序的真值表，并自动检测您的表达式是重言式（永远为真）、矛盾式（永远为假）还是真正的偶然式命题。
快速解答
使用变量和运算符（AND、OR、NOT、XOR、NAND、NOR、->、<->）输入布尔表达式，本生成器会在您的变量（最多6个）的每种真/假组合上对其求值，生成完整的真值表，并自动标记重言式或矛盾式。
支持 AND、OR、NOT、XOR、NAND、NOR、->（蕴含）、<->（双条件）和括号。
如何使用 真值表生成器 — 在线布尔逻辑表达式
- 1
使用变量（A、B、C……）以及AND、OR、NOT、XOR、NAND、NOR、->和<->等运算符输入布尔表达式。
- 2
使用括号控制求值顺序，就像代数一样。
- 3
点击'生成'，为您变量的每种组合构建完整的真值表。
- 4
查看重言式/矛盾式提示条，即时了解您的表达式是永远为真还是永远为假。
为什么使用 真值表生成器 — 在线布尔逻辑表达式？
真值表是验证布尔表达式行为的最终方法——与手动化简不同，真值表无法隐藏细微的逻辑错误，因为它实际上检查了每一种可能的输入组合。这对于数字逻辑设计、正确编写条件语句以及形式逻辑课程都至关重要。我们的生成器支持完整的标准运算符集，包括许多更简单工具所遗漏的条件（蕴含）和双条件运算符，并自动标记重言式和矛盾式——这正是表明实际代码中存在冗余或有缺陷条件的模式。