简化您的工作流程：搜索 miniwebtool。
添加插件
主页 > 数学 > 进阶数学计算 > 布尔代数化简器
 

布尔代数化简器

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

布尔代数化简器
示例：
插入：
接受的语法
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR 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^, ⊕, 单词 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”。
什么是质蕴涵项？
质蕴涵项是一个覆盖一组最小项的乘积项，且不能与任何其他相邻组组合成更大的组。必要质蕴涵项是唯一覆盖至少一个特定最小项的质蕴涵项 —— 它必须出现在每个最小覆盖中。非必要质项是可选的，仅在需要覆盖剩余最小项时才会包含。
化简器接受什么输入语法？
您可以将 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，通过自然语言问答解决您的数学问题。

其他相关工具:

绝对值计算器新
代数表达式简化器
亲和数检查器新
进制转换器
二进制计算器精选
进位与借位可视化工具新
小数到分数计算器
埃及分数计算器新
分数简化
卡诺图 (K-Map) 求解器新

进阶数学计算:

常用工具:

随机信用卡生成器MAC地址查找🌡️ 体感温度计算器彩票号码生成器网址提取器相对标准偏差计算器英尺英寸转换为厘米CAGR计算器太阳、月亮与上升星座计算器 🌞🌙✨随机选择器样本量计算器百分比折扣计算器cpm计算器比例计算器HEX计算器VAT计算器毛利率计算器随机扑克牌生成器FPS 转换器定期存款计算器月亮星座计算器随机名字选择器kg到lbs转换器音频分割器音频提取器时间持续计算器图片打码工具SRT转为TXT工具血糖转换器厘米到英尺和英寸转换器📅 日期计算器合并视频斜边计算器股票平均成本计算器视频转图片提取器随机IMEI生成器年龄计算器磅转千克转换器圆计算器分数计算器随机字符串生成器英寸到厘米转换器厘米到英寸转换器螺栓扭矩计算器MAC地址生成器二进制计算器💧 露点计算器One Rep Max (1RM) 计算器两个日期之间MAC 地址分析工具卡方检验计算器调整视频速度凯利公式计算器百分比计算器🎮 游戏灵敏度转换器随机化数字三角函数绘图器百分比变化计算器椭圆周长计算器质数检查器英尺到米转换器随机分组生成器图片分割器t检验计算器利润计算器随机用户代理生成器srt时间偏移条形码生成器每个月的天数SHA256 哈希生成器年度天数计算器 - 今天是今年的第几天商和余数计算器数字提取器日历最简分数计算器罗马数字转换器百分比增长率计算器随机超能力生成器MD5哈希生成器对数计算器移除标点符号在线工具卧推计算器DOY日历位数计算器行数统计工具逻辑门模拟器Facebook用户ID查询半衰期计算器石头剪刀布生成器为图片添加文字六西格玛过程能力计算器职位查找器百分比增加计算器随机端口号生成器圆形面积计算器分数百分比转换器线性回归计算器随机装备生成器AI内容检测器体脂百分比计算器随机坐标生成器年金现值计算器快速傅里叶变换FFT计算器百分比到ppm转换器箱线图生成器随机颜色生成器AI标点符号添加器两点间距离计算器平方根计算器楼梯计算器AI Token 计数器复合增长率计算器AI改写工具查找并替换文本自酿啤酒酒精度计算器kpa到psi转换器删除空格圆台计算器组合计算器Instagram用户ID查询命运数字计算器视频压缩器图片添加线条根式化简器随机域名生成器随机字母生成器黄金分割计算器YouTube频道统计获取字符串长度闰年清单anova计算器IPv4/IPv6到十六进制转换器分贝 (dB) 计算器图片压缩器百分比减少计算器英亩到平方米转换器PSI 转 Bar 转换器平均偏差计算器方差计算器 高精度质数分解计算器不可见字符移除器填字游戏制作器🎲 掉落概率计算器方向场斜率场绘图器模计算器股息收益率计算器标准偏差计算器 - 高精度盎司到克转换器相关系数计算器误差函数计算器随机数字选择器黄金时刻和蓝调时刻计算器Log Base 10 计算器工资转换计算器死链检查器磅到克转换器隐形文本生成器为视频添加水印克到盎司转换器克到磅转换器十进制到十六进制转换器原根计算器圆柱体体积计算器 高精度字符计数器电池续航计算器🎰 抽卡保底计算器🌍 碳足迹计算器科学计算器线性方程组求解器谐振频率计算器迷宫生成器AI语言检测器atan2计算器HTML 到文本转换器双重积分计算器新月和满月日历沸点计算器⏱️ 倒计时器文本去重工具十六进制到十进制转换器幻方生成器指数计算器-高精度旋转视频步数距离计算器积分计算器阶乘计算器随机圣经经文生成器SRT合并工具因子计算器多项式展开计算器直方图生成器视频分割器随机生日生成器鞋码转换器高斯分布生成器BMR计算器YouTube缩略图下载器变异系数计算器坡度与倾斜度计算器文件大小转换器瑜伽体式保持计时器游泳SWOLF计算器跑步成绩预测计算器拳击出拳力量计算器橄榄球得分计算器板球得分率计算器足球 xG预期进球计算器网球计分器Wells评分计算器 (DVT/PE)格拉斯哥昏迷评分计算器阿普加评分计算器FFMI计算器库珀12分钟跑步计算器一英里步行测试Rockport计算器瘦体重力量计算器碳水化合物胰岛素比例计算器胰岛素敏感系数计算器希伯来历转换器伊斯兰历转换器农历转换器跨文化年龄计算器多久以前计算器还有多久倒计时计算器日期模式生成器中间日期计算器日期添加工作日工作日计算器词频分析器句子长度方差分析器海明威风格可读性编辑器发音音标转换器维吉尼亚密码工具埃特巴什密码工具ROT13编码解码器EXIF数据查看与移除工具猪拉丁文翻译器倒推首字母缩写生成器首字母缩写生成器全字母句检查器漏字文检测器图像转SVG描摹器图片转 ASCII 艺术转换器JSON Schema 生成器TypeScript 在线演练场Less 到 CSS 编译器SCSS转CSS编译器SVG 转 React/JSX 转换器查询字符串生成器URL解析器UUID验证和解码器HTTP状态码参考cURL命令构建器谢尔宾斯基三角形生成器3D曲面绘图器极坐标方程绘图器朱利亚集合生成器曼德博集合探索器L-System分形生成器Delaunay 三角剖分生成器Voronoi 图生成器万花尺图案生成器镶嵌图案生成器帕累托图生成器NPS净推荐值计算器留存率同期群计算器客户流失率计算器客户获取成本CAC计算器客户终身价值 CLV 计算器转化率计算器A/B测试样本量计算器A/B测试显著性计算器透镜方程计算器导线磁场计算器电场计算器库仑定律计算器斯涅尔定律计算器惯性矩计算器角速度计算器向心力计算器单摆周期计算器弹簧劲度系数计算器多普勒效应计算器索提诺比率计算器特雷诺比率计算器股票贝塔系数计算器通胀保值美国国债 (TIPS) 计算器房贷重新摊还计算器远期利率计算器债券久期计算器 (麦考利和修正)债券凸性计算器固定指数年金计算器变额年金计算器反向抵押贷款计算器年金支付计算器日本算盘模拟器俄罗斯农民乘法吠陀数学技巧计算器古埃及乘法计算器罗马数字数学求解器心算训练器乘法口诀表测验进位与借位可视化工具数的分合生成器硬币应用题求解器距离速度时间三角形计算器工作效率问题求解器混合问题求解器年龄问题求解器火车相遇问题求解器补水计算器配速卡路里计算器药物剂量计算器酒精卡路里计算器身体重塑计算器随机辩论话题生成器随机猫狗名字生成器随机数学题生成器随机段落生成器随机英文句子生成器砾石、砂和表土计算器钢材重量计算器管道流量计算器梁荷载计算器美元换黄金转换器期权概率计算器股票拆分计算器员工持股计划计算器发票滞纳金计算器自由职业者时薪计算器租赁与购买对比计算器高级小费分摊计算器装箱清单生成器时差反应计算器旅行预算计算器飞行距离计算器热损失计算器发电成本计算器用水量计算器家电用电成本计算器家庭能源审计计算器太阳能投资回报率计算器太阳能板计算器堆肥CN比计算器草坪肥料计算器霜冻日期计算器高床种植箱土壤计算器NPK肥料计算器种子发芽率计算器视频比特率计算器音乐调性转换器音乐BPM节拍点击器照片文件大小估算计算器百万像素到打印尺寸计算器裁切系数计算器曝光三角计算器车辆牵引能力计算器汽车租赁计算器0–60与四分之一英里计算器电动车充电时间计算器电动汽车续航计算器3D距离计算器环面计算器不规则多边形面积计算器正多边形计算器圆锥曲线识别器双曲线计算器长除法计算器Twitter/X 字符计数器YouTube评论抽选器YouTube标签提取器youtube收益估算器随机RPG角色生成器