布尔代数化简器

使用代数定律、Quine-McCluskey 算法和卡诺图化简法来化简布尔表达式。输入任何逻辑表达式（AND, OR, NOT, XOR, NAND, NOR），即可立即获得最小 SOP/POS 形式、完整真值表、卡诺图可视化、逻辑门图、逐步定律应用以及仅限 NAND/NOR 的等效形式。

布尔代数化简器

Embed 布尔代数化简器 Widget

布尔代数化简器

布尔代数化简器使用 Quine-McCluskey 算法和卡诺图分析，将任何逻辑表达式化简为其最小形式。输入包含 AND、OR、NOT、XOR、NAND、NOR（或符号如 &、|、~、^、后置 A'）的表达式，即可立即获得完整的真值表、带质蕴涵项圈的彩色卡诺图、标出必要项的质蕴涵项表、逐步推导过程以及等效的仅限 NAND 和仅限 NOR 实现。

化简器生成的内容

📊

真值表

所有 \(2^n\) 种输入组合及表达式的输出。

🗺️

卡诺图

带有每个质蕴涵项轮廓的格雷码网格。

🎯

最小 SOP / POS

最少的文字、最少的项——最优形式。

🧩

质蕴涵项

带有必要项标记——了解哪些项是必需的。

↑↓

NAND/NOR 形式

用于电路综合的全能门等效形式。

↘

逐步过程

详细解释 Quine-McCluskey 推导过程。

布尔代数定律参考

定律名称	OR 形式	AND 形式
恒等律	\( A + 0 = A \)	\( A \cdot 1 = A \)
零律	\( A + 1 = 1 \)	\( A \cdot 0 = 0 \)
幂等律	\( A + A = A \)	\( A \cdot A = A \)
补性律	\( A + \overline{A} = 1 \)	\( A \cdot \overline{A} = 0 \)
双重否定律	\( \overline{\overline{A}} = A \)
交换律	\( A + B = B + A \)	\( A \cdot B = B \cdot A \)
结合律	\( (A + B) + C = A + (B + C) \)	\( (A \cdot B) \cdot C = A \cdot (B \cdot C) \)
分配律	\( A \cdot (B + C) = AB + AC \)	\( A + BC = (A+B)(A+C) \)
吸收律	\( A + AB = A \)	\( A(A + B) = A \)
德·摩根定律	\( \overline{A + B} = \overline{A} \cdot \overline{B} \)	\( \overline{A \cdot B} = \overline{A} + \overline{B} \)
冗余律 (Consensus)	\( AB + \overline{A}C + BC = AB + \overline{A}C \)

输入语法简表

运算符	接受的形式	示例
AND	`&`, `*`, `·`, `.`, 连接 `AB`, 单词 `AND`, `∧`	`A&B`, `AB`, `A AND B`
OR	`+`, `\|`, 单词 `OR`, `∨`	`A+B`, `A \| B`, `A OR B`
NOT	`~`, `!`, `¬`, 单词 `NOT`, 后置 `'`	`~A`, `!A`, `A'`, `(AB)'`
XOR	`^`, `⊕`, 单词 `XOR`	`A XOR B`, `A^B`
NAND	`⊼`, 单词 `NAND`	`A NAND B`
NOR	`⊽`, 单词 `NOR`	`A NOR B`
蕴涵 (Implies)	`->`, `=>`, 单词 `IMPLIES`, `→`	`A -> B`
等价 (Equivalence)	`<->`, `<=>`, 单词 `IFF`, `↔`	`A <-> B`
常量	`0` `1` `TRUE` `FALSE`	`A + 0`, `A * 1`

Quine-McCluskey 算法

Quine-McCluskey 方法是一种系统化的表格法，用于寻找最小积之和表达式。与卡诺图（视觉化且限制在大约 6 个变量内）不同，Quine-McCluskey 可以扩展，并且始终能产生保证最小的覆盖。

列出所有最小项 —— 真值表中计算结果为 1 的每一行。
按 1 的个数分组 —— 根据最小项二进制表示中 1 的数量进行排序。
组合相邻组 —— 恰好相差一个位的项对进行合并，用短横线代替该位。重复此过程直到无法再组合。
收集质蕴涵项 —— 任何从未被进一步组合的项都是质蕴涵项。
建立质蕴涵项表 —— 一个以质蕴涵项为行、最小项为列的网格。标记哪些质项覆盖了哪些最小项。
选择必要质蕴涵项 —— 任何作为某个最小项唯一覆盖的质项都是必要的。
覆盖剩余最小项 —— 选择额外的质项来覆盖尚未被必要项覆盖的最小项，并使文字数最少。

如何使用布尔代数化简器

输入表达式： 使用您偏好的符号输入任何布尔表达式。您可以混合风格 —— A.B + A'C 和 A AND B OR NOT A AND C 的解析结果完全相同。
点击化简： 工具会进行解析、构建真值表、运行 Quine-McCluskey 算法并最小化表达式。
研究卡诺图： 每个彩色圈都是一个质蕴涵项。必要质项用实线绘制，非必要项用虚线。
查看步骤： 步骤面板展示了从规范 SOP 到质蕴涵项发现再到最小形式的全过程。
检查等效形式： 当您的目标技术是“或-与”结构时，使用最小 POS；当针对基于 NAND 的芯片时，使用仅限 NAND 形式。

应用场景

领域	用例
数字电路设计	最小化组合逻辑中的门数 —— 更少的门意味着更低的功耗、更小的芯片面积和更短的传播延迟。
编译器优化	化简 if 语句和循环守卫中的条件表达式，以降低分支求值成本。
可编程逻辑 (FPGA)	通过生成最小文字形式，在可用的查找表 (LUT) 中容纳更多逻辑。
数据库查询优化	将 WHERE 子句的谓词重写为等效但求值成本更低的形式。
形式验证	规范形式 (SOP/POS) 可以检查两个规范是否等效。
教学与课程作业	验证作业、学习质蕴涵项选择、探索卡诺图分组策略。

常见问题解答

什么是布尔代数化简？

布尔代数化简通过减少逻辑表达式中的运算和文字数量，将其简化为等效表达式。更简单的表达式意味着硬件中更少的逻辑门、软件中更快的求值速度以及更容易的人工验证。方法包括应用代数定律、卡诺图和 Quine-McCluskey 算法 —— 本工具结合了这三者。

什么是最小积之和 (SOP) 形式？

最小积之和形式将布尔函数写作最少数量的乘积项的“或”运算，其中每个乘积项使用最少数量的文字。它是通过将函数展开为规范 SOP（每个真值行一个最小项），然后利用规则 \( XY + \overline{X}Y = Y \) 组合相邻最小项，直到无法进一步组合为止。结果是一个最小的两级 AND-OR 电路。

卡诺图是如何工作的？

卡诺图是一个网格，其行和列使用格雷码位模式标记，使得物理相邻的单元格恰好相差一个变量。大小为 1、2、4 或 8 的相邻 1 单元格组分别对应于消除 0、1、2 或 3 个变量的乘积项。最大的可能分组会产生每项中最少的文字数量 —— 因此策略是“用最大的合法矩形覆盖每一个 1”。

什么是质蕴涵项？

质蕴涵项是一个覆盖一组最小项的乘积项，且不能与任何其他相邻组组合成更大的组。必要质蕴涵项是唯一覆盖至少一个特定最小项的质蕴涵项 —— 它必须出现在每个最小覆盖中。非必要质项是可选的，仅在需要覆盖剩余最小项时才会包含。

化简器接受什么输入语法？

您可以将 AND 写作 &、*、·、. 或简单的连接（AB 表示 A AND B）。OR 可以是 + 或 |。NOT 可以是 ~、!、¬ 或后置撇号（A'、(A+B)'）。单词运算符 AND OR NOT XOR NAND NOR IMPLIES IFF 同样适用，箭头形式 -> 和 <-> 也有效。括号用于子表达式分组。常量 0 和 1（或 TRUE/FALSE）表示固定值。

为什么仅限 NAND 和仅限 NOR 形式很有用？

NAND 和 NOR 被称为全能门，因为任何布尔函数都可以仅使用其中一种来构建。在实际芯片中，NAND 门通常制造速度最快且成本最低，因此可编程逻辑的编译器通常以仅限 NAND 的网表为目标。化简器显示等效的仅限 NAND 和仅限 NOR 表达式 —— 仅限 NAND 表达式可以直接读作两级 NAND-NAND 电路，这在开关理论中与 AND-OR 电路结构完全相同。

该工具支持多少个变量？

最多支持 8 个变量。本工具会为 2、3 和 4 个变量渲染卡诺图（网格大小分别为 2×2、2×4 和 4×4，并带有格雷码标记）。对于 5 个及以上变量，真值表会增加到 32 行以上，但 Quine-McCluskey 算法仍能生成准确的最小形式 —— 此时会省略卡诺图，因为 3D 或拆分图难以阅读。

我可以检查两个布尔表达式是否等效吗？

可以 —— 分别化简两个表达式。如果它们的最小 SOP 形式相同，则它们计算的是同一个函数。您还可以逐行比较它们的真值表。化简器会输出最小项集和规范 SOP，它们是该函数的唯一指纹。

引用此内容、页面或工具为：

"布尔代数化简器" 于 https://MiniWebtool.com/zh-cn/布尔代数化简器/，来自 MiniWebtool，https://MiniWebtool.com/

由 MiniWebtool 团队开发。更新日期：2026-04-19

您还可以尝试我们的 AI数学解题器 GPT，通过自然语言问答解决您的数学问题。

其他相关工具:

布尔代数化简器

布尔代数化简器

化简器生成的内容

布尔代数定律参考

输入语法简表

Quine-McCluskey 算法

如何使用布尔代数化简器

应用场景

常见问题解答

其他相关工具:

进阶数学计算:

常用工具: