布尔代数化简器
用代数定律、Quine-McCluskey法和卡诺图化简布尔表达式。输入任意含AND、OR、NOT、XOR、NAND或NOR的表达式，得到最简的SOP/POS形式、真值表、卡诺图、门电路图和纯NAND等效电路。
每天免费 3 次无需注册即时出结果
布尔代数化简器立即免费试用 ▼
请支持 MiniWebtool
你的广告拦截器导致我们无法展示广告
MiniWebtool 依靠广告收入免费提供服务。如果这个工具帮到了你，欢迎升级获得无广告浏览和更多每日使用次数，或将 MiniWebtool.com 加入白名单后刷新页面。
- 允许 MiniWebtool.com 显示广告，然后刷新
- 或升级获得无广告浏览和更高每日额度
布尔代数化简器
布尔代数化简器使用 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”。
可以输入最小项和无关项吗？
可以。可将函数写成最小项列表，例如 F(A,B,C,D) = Σm(1,3,7,11,15) + d(0,2,5)；也可用 ΠM(…) 表示最大项。无关项可写作 m(…) 或 sum m(…)，无关项本身可写作 dc(…) 或 x(…。无关项会在真值表和卡诺图中显示为 X，且仅在有助于扩大分组时参与化简。
什么是质蕴涵项？
质蕴涵项是一个覆盖一组最小项的乘积项，且不能与任何其他相邻组组合成更大的组。必要质蕴涵项是唯一覆盖至少一个特定最小项的质蕴涵项 —— 它必须出现在每个最小覆盖中。非必要质项是可选的，仅在需要覆盖剩余最小项时才会包含。
化简器接受什么输入语法？
您可以将 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
开发者 API 可用:
用一次 JSON HTTP 请求，把这个工具接入你的应用、自动化流程或智能体。
查看 API 文档
进阶数学计算:
- 邻接矩阵计算器 新
- antilog计算器
- beta函数计算器
- 二项式系数计算器
- 二项概率分布计算器
- 按位计算器
- 布尔代数化简器 热门
- 中央极限定理计算器
- 中国剩余定理计算器
- 组合计算器 热门
- 互补误差函数计算器
- 复数计算器 热门
- 连分数计算器
- 错排 子阶乘计算器
- 迪杰斯特拉最短路径计算器
- 熵计算器
- 误差函数计算器
- 欧拉函数计算器
- 指数衰减计算器（高精度）
- 指数增长计算器 高精度
- 指数积分计算器
- 指数计算器（高精度）
- 扩展欧几里得算法计算器
- 阶乘计算器
- 伽玛功能计算器 热门
- 黄金比例计算器
- 图着色计算器 新
- 图度数序列验证器
- 群论阶数计算器 新
- 半衰期计算器
- 哈密顿路径检查器 新
- 容斥原理计算器 新
- 卡诺图 (K-Map) 求解器 新
- 线性规划求解器 新
- 马尔可夫链稳态分布计算器
- 最小生成树计算器
- 模幂运算计算器 新
- 模乘逆元计算器
- 负二项分布计算器 新
- 网络最大流计算器 新
- 百分比增长率计算器 热门
- 排列计算器
- 重复排列计算器 新
- 鸽巢原理计算器
- 平面图检查器 新
- 泊松分布计算器
- 多项式根计算器与详细步骤
- 原根计算器
- 概率计算器
- 概率分布计算器
- 比例计算器 热门
- 二次公式计算器 热门
- 环与域计算器 新
- 四舍五入计算器 新
- 科学计算器
- 科学记数法计算器
- 集合论计算器
- 有效数字计算器 新
- 稳定婚姻问题求解器 新
- 斯特林数计算器
- 立方和计算器
- 连续数之和计算器
- 平方和计算器
- 拓扑排序计算器 新
- 旅行商问题求解器 TSP 热门
- 真值表生成器
- 韦恩图生成器3集合