真值表生成器
- 输入→
- 选项→
- 结果
真值表生成器
通过运算符按钮、示例、公式分类、主析取范式、主合取范式、最小项和导出功能，构建并分析真值表。
建立真值表
输入布尔表达式，或使用运算符按钮快速组合。
解析表达式
(A ∧ B) → C
变量
A, B, C
组合
8
结果为 1 的行
7
结果为 0 的行
1
布尔真值表
PDF / 打印: 全部 (8)
#
A
B
C
结果
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1
规范形式
主析取范式（DNF）由结果为 1 的行构成；主合取范式（CNF）由结果为 0 的行构成。
主析取范式（DNF）
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
主合取范式（CNF）
(¬A ∨ ¬B ∨ C)
最小项
Σm(0, 1, 2, 3, 4, 5, 7)
大项
ΠM(6)
在线生成真值表
输入或组合布尔表达式，查看最多八个变量的所有组合及对应结果。
判断公式是永真式、矛盾式还是偶然式，筛选数据行，并导出表格、主析取范式、主合取范式、最小项和大项。
快速启动
构建真值表或比较两个表达式的等价性。
- 输入表达式和可选比较
- 建表更新结果
- 检查反例并导出完整表格
✓
该工具直接在浏览器中运行，无需安装软件，适合快速检查。
✓
输入内容可以立即清空并重新计算，适合重复的小任务。
✓
处理长文本、结构化数据或较大的结果时，可以使用全屏模式获得更多空间。
✓
复制按钮可将结果快速用于代码、文档或支持对话。
✓
大多数操作都是确定性的：相同输入和选项会得到相同结果。
✓
处理敏感内容时，建议使用本地浏览器工具，并在分享前检查结果。
其他工具
用户评论
发表前会检查评论。我们发布真正的积极反馈和具体批评。没有有用细节的垃圾邮件和侮辱性内容不会被发布；亵渎和个人信息被掩盖。赞成票立即计算；反对票经审核后计算。
评论反映了用户的体验，而不是结果的保证或服务限制的描述。使用上面的评级按钮留下评论。
尚未发表此语言的评论。
