真值表生成器 — 计算任何布尔表达式
我们的真值表生成器解析您输入的任何布尔表达式——使用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
查看重言式/矛盾式提示条，即时了解您的表达式是永远为真还是永远为假。
为什么使用 真值表生成器 — 在线布尔逻辑表达式？
真值表是验证布尔表达式行为的最终方法——与手动化简不同，真值表无法隐藏细微的逻辑错误，因为它实际上检查了每一种可能的输入组合。这对于数字逻辑设计、正确编写条件语句以及形式逻辑课程都至关重要。我们的生成器支持完整的标准运算符集，包括许多更简单工具所遗漏的条件（蕴含）和双条件运算符，并自动标记重言式和矛盾式——这正是表明实际代码中存在冗余或有缺陷条件的模式。
常见问题
相关工具
位运算计算器 — 在线 AND、OR、XOR、NOT、移位
即时对整数执行位运算——AND、OR、XOR、NOT、左移和右移。免费计算器，为每种运算提供可视化交互式位图。
集合论计算器 — 并集、交集、差集及更多
即时执行集合运算——并集、交集、差集、对称差、笛卡尔积、幂集和补集。免费计算器，提供分步结果。
科学计算器 — 免费在线计算器
免费的在线科学计算器，支持三角函数、对数、指数和阶乘运算。可在角度和弧度之间切换，使用内存键，查看计算历史记录。
布尔代数简化器 — 在线Quine-McCluskey最小化
使用Quine-McCluskey算法将任意布尔表达式简化为其最小和之积形式。免费计算器，支持最多6个变量并显示质蕴含项。
卡诺图（K-Map）求解器 — 在线2至4变量
根据最小项列表求解2、3或4个变量的卡诺图。免费的K-Map求解器，提供可视化网格、分组单元格以及最小和之积表达式。