真值表到表达式生成器
将任何真值表转换为逻辑表达式。从您的自定义真值表生成析取范式（DNF）或合取范式（CNF）的布尔公式。
变量: p, q
| p | q | 输出 |
|---|---|---|
| ⊥ | ⊥ | |
| ⊤ | ⊥ | |
| ⊥ | ⊤ | |
| ⊤ | ⊤ |
点击输出值在真(⊤)和假(⊥)之间切换
理解布尔综合
析取范式 (DNF)
DNF将公式表示为AND的OR（积之和）。对于输出为真的每一行，我们创建一个最小项，将所有变量用AND连接，对假的变量取反。然后将这些最小项用OR连接形成完整的表达式。
合取范式 (CNF)
CNF将公式表示为OR的AND（和之积）。对于输出为假的每一行，我们创建一个最大项，将所有变量用OR连接，对真的变量取反。然后将这些最大项用AND连接形成完整的表达式。
真值表综合的应用
将真值表转换为逻辑表达式是计算机科学和数字电子学的基础技术。此工具有助于：
- 数字电路设计 - 根据所需的输入输出行为创建逻辑门的布尔方程
- 软件开发 - 从规格表生成条件逻辑
- 学术研究 - 学习和练习布尔代数和命题逻辑
- 逻辑优化 - 比较DNF和CNF形式以找到更简单的等效表达式