自 2010 年 · 每月支持超过 200 万次工具运行
自 2010 年
添加到 Chrome

我的工具箱

自动模式

还没有收藏的工具。

升级为高级版
相关工具
下一步
卡诺图 (K-Map) 求解器真值表生成器
相同场景
逻辑门模拟器
更多工具
代数表达式简化器按位计算器HEX计算器
主页 > 数学 > 进阶数学计算
 

布尔代数化简器

借助 MiniWebtool 的布尔代数化简器，可使用代数定律、Quine–McCluskey 方法和卡诺图化简布尔表达式。输入任意 AND、OR、NOT、XOR、NAND 或 NOR 表达式，即可得到最简 SOP/POS 形式、真值表、K 图、逻辑门图和仅用 NAND 门实现的等价形式。

不确定怎么使用？问问 AI
Gemini (复制并打开)

使用 Gemini 时，请将复制的问题粘贴到聊天框。也可以在下方手动复制。

查看提问内容

每天免费 3 次无需注册即时出结果
布尔代数化简器立即免费试用 ▼
卡诺图中相邻的一对 1 可消去一个变量

在下方输入布尔表达式，即可得到最简形式、真值表、卡诺图及步骤。

示例：
插入：
接受的语法
与: & · AB  |  或: + |  |  非: ~ ! A'  |  XOR NAND NOR  |  或输入列表： F(A,B,C,D) = Σm(1,3,7) + d(0,2)

Embed 布尔代数化简器 Widget

布尔代数化简器

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

功能概览

布尔代数化简器使用 Quine-McCluskey 算法，将逻辑表达式化简为最简与或式（SOP）和最简或与式（POS）。它还显示真值表、卡诺图，以及仅用 NAND 或 NOR 的等价形式。

布尔代数化简器：功能一览
功能具体内容适用场景
运算符AND、OR、NOT、XOR、NAND、NOR、蕴含和等价，可用文字、符号如 & | ~ ^，或后缀撇号如 A' 表示。使用课程或数据手册所用的记法输入表达式
最简形式项数和文字数最少的最简 SOP 与 POS，并附标出本质蕴涵项的素蕴涵项表。减少组合逻辑中的门数
真值表与卡诺图包含全部 2^n 行输入的真值表（最多 8 个变量），以及 2、3 或 4 个变量的卡诺图，带素蕴涵项圈。核对数字逻辑课程中的卡诺图分组
最小项输入以带无关项的最小项输入函数，如 F(A,B,C,D) = Σm(1,3,7,11,15) + d(0,2,5)，也可用最大项。从真值表或考试题开始
NAND 与 NOR 形式仅 NAND 和仅 NOR 的等价形式，并附门电路图，用于电路综合。用单一门类型构建电路
分步推导从标准 SOP 到最简形式的 Quine-McCluskey 推导过程。了解化简方法的原理

化简器生成的内容

📊
真值表
所有 \(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^, ⊕, 单词 XORA XOR B, A^B
NAND⊼, 单词 NANDA NAND B
NOR⊽, 单词 NORA NOR B
蕴涵 (Implies)->, =>, 单词 IMPLIES, →A -> B
等价 (Equivalence)<->, <=>, 单词 IFF, ↔A <-> B
常量0 1 TRUE FALSEA + 0, A * 1

Quine-McCluskey 算法

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

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

如何使用布尔代数化简器

  1. 输入表达式： 使用您偏好的符号输入任何布尔表达式。您可以混合风格 —— A.B + A'C 和 A AND B OR NOT A AND C 的解析结果完全相同。
  2. 点击化简： 工具会进行解析、构建真值表、运行 Quine-McCluskey 算法并最小化表达式。
  3. 研究卡诺图： 每个彩色圈都是一个质蕴涵项。必要质项用实线绘制，非必要项用虚线。
  4. 查看步骤： 步骤面板展示了从规范 SOP 到质蕴涵项发现再到最小形式的全过程。
  5. 检查等效形式： 当您的目标技术是“或-与”结构时，使用最小 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，它们是该函数的唯一指纹。
如何根据真值表输出化简逻辑表达式？
将输出为 1 的输入行写成最小项，然后按列表语法输入最小项索引，例如 F(A,B,C) = Σm(1,3,6)。化简器可以据此生成最简形式及其真值表。请检查变量顺序是否与使用的行索引规则一致；改变 A、B、C 的顺序，会改变每个索引代表的二进制输入。
为什么化简后的布尔表达式项数更少，文字数却更多？
布尔化简可能会在不同的简洁性指标之间取舍。乘积项较少的表达式，变量文字总数仍可能更多；另一个等价表达式则可能包含更多项，但每项更短。等价的最简覆盖形式可能不止一种，因此应根据电路或作业要求选择最合适的形式。还要确认比较的是 SOP 与 SOP，或 POS 与 POS，因为这两种形式分组的输出值不同。
布尔表达式中变量后的撇号是什么意思？
变量后面的撇号表示 NOT，也就是该变量的补：A' 等同于此化简器接受的记法中的 ~A 或 !A。例如，AB' 表示 A 与非 B。常见错误是在整个表达式后加撇号却不加括号：(A+B)' 表示对整个 OR 表达式取反，而 A+B' 只对 B 取反。使用括号可以明确取反的范围。

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

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

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

开发者 API 可用: 用一次 JSON HTTP 请求，把这个工具接入你的应用、自动化流程或智能体。 查看 API 文档

与喜欢的 AI 聊聊这个工具

Gemini (复制并打开)

使用 Gemini 时，请将复制的问题粘贴到聊天框。也可以在下方手动复制。

查看提问内容

进阶数学计算:

数学求解你想解决什么数学问题？

数学求解

试试
浏览更多表达式

点击示例填入，可修改数值后求解。log 默认以 10 为底，自然对数使用 ln。

数字与因数

分数与除法

幂、根式与对数

代数与方程

微积分

几何与三角

热门与最新工具:

根式化简器分数简化二项式系数计算器查看全部 →
主页 > 数学 > 进阶数学计算 > 布尔代数化简器