简化您的工作流程：搜索 miniwebtool。
添加插件
相关工具
代数表达式简化器卡诺图 (K-Map) 求解器逻辑门模拟器马尔可夫链稳态分布计算器真值表生成器
主页 > 数学 > 进阶数学计算 > 布尔代数化简器
 

布尔代数化简器

使用代数定律、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，通过自然语言问答解决您的数学问题。

进阶数学计算:

常用工具:

随机信用卡生成器MAC地址查找彩票号码生成器网址提取器凯利公式计算器英尺英寸转换为厘米太阳、月亮与上升星座计算器 🌞🌙✨相对标准偏差计算器CAGR计算器🌡️ 体感温度计算器cpm计算器厘米到英尺和英寸转换器定期存款计算器比例计算器VAT计算器SRT转为TXT工具样本量计算器调整视频速度MAC地址生成器毛利率计算器百分比折扣计算器🎮 游戏灵敏度转换器FPS 转换器分数计算器音频提取器斜边计算器图片打码工具太阳位置计算器百分比增长率计算器srt时间偏移音频分割器血糖转换器对数计算器随机字符串生成器随机选择器随机扑克牌生成器kg到lbs转换器t检验计算器HEX计算器百分比变化计算器高斯分布生成器随机化数字wpa密钥生成器为图片添加文字随机IMEI生成器卡方检验计算器职位查找器One Rep Max (1RM) 计算器SHA256 哈希生成器合并视频💧 露点计算器年龄计算器真心话大冒险生成器随机超能力生成器圆形面积计算器视频转图片提取器原根计算器磅转千克转换器SRT合并工具Facebook用户ID查询Log Base 10 计算器年度天数计算器 - 今天是今年的第几天直方图生成器圆计算器YouTube频道统计随机英文句子生成器两点间距离计算器农历转换器椭圆周长计算器三角函数绘图器百分比减少计算器误差函数计算器DOY日历MAC 地址分析工具质数检查器足球 xG预期进球计算器标准偏差计算器 - 高精度指数计算器-高精度📅 日期计算器根式化简器随机虚假地址生成器随机颜色生成器多项式展开计算器罗马数字转换器🔊 音调发生器kpa到psi转换器YouTube缩略图下载器体脂百分比计算器泰勒级数计算器积分计算器英寸到厘米转换器随机RPG角色生成器图片压缩器🎲 掉落概率计算器死链检查器颜料调色计算器利润计算器变异系数计算器图片分割器黄金时刻和蓝调时刻计算器MD5哈希生成器偏导数计算器百分比增加计算器亚马逊 FBA 计算器先付年金现值计算器八进制计算器利率计算器真实命中率计算器📈 折线图制作工具月亮星座计算器删除空格半衰期计算器按位计算器迷宫生成器雷诺数计算器因子计算器楼梯计算器逻辑门模拟器HEX转换器PER计算器位数计算器发音音标转换器朱利亚集合生成器百分比计算器科学记数法计算器英尺到米转换器视频分割器IPv4/IPv6到十六进制转换器万花尺图案生成器圆柱体体积计算器 高精度快速傅里叶变换FFT计算器角度转换器伊斯兰历转换器名人名言搜索 (英文)最简分数计算器条形码生成器身高百分位数计算器阻抗计算器PSI 转 Bar 转换器不可见字符移除器图片Base64转换器图片添加线条排序数字水星逆行日历🖱️ 点击计数器获取字符串长度退休倒计时随机生日生成器随机英文单词生成器黄金分割计算器ppm到百分比转换器Voronoi 图生成器分贝 (dB) 计算器平方根计算器投注赔率转换器数字提取器瘦体重计算器花样字体生成器质数分解计算器配方法计算器锥体表面积计算器 高精度随机字母生成器随机整数生成器AI Token 计数器atan2计算器互补误差函数计算器十进制到十六进制转换器卧推计算器在视频中添加或替换音频按字母顺序排序旋转视频沸点计算器燃气与电力成本对比百分比到ppm转换器磅到克转换器组合计算器英亩到平方米转换器隐形文本生成器F检验/F分布计算器npv计算器为视频添加水印平均值计算器新月和满月日历随机名称生成器随机装备生成器AI标点符号添加器Argon2哈希生成器PayPal手续费计算器Webhook测试器体型计算器克到磅转换器有效命中率计算器比例置信区间计算器比较分数计算器直线方程计算器相关系数计算器翻转视频配色方案生成器随机小数生成器Zalgo文本生成器CGPA转百分比转换器简易评分器 EZ Grader养育孩子成本计算器宝宝奶量计算器尿布尺寸计算器婴儿名字生成器宝宝眼睛颜色预测器儿童BMI百分位计算器儿童身高预测器hcg翻倍时间计算器试管婴儿预产期计算器着床计算器中国生男生女预测器ISO 8601 日期格式化工具儒略日转换器小睡计算器月相计算器日出日落计算器世界时钟日期罗马数字转换器戒瘾天数计算器半岁生日计算器纪念日计算器周数计算器小费分配计算器电子邮件营销ROI计算器每条线索成本计算器营运资本计算器边际贡献计算器FIFO / LIFO 计算器安全库存计算器再订货点计算器经济订货量eoq计算器折旧计算器手工艺品定价计算器批发价格计算器Shopify 利润计算器eBay费用计算器Etsy费用计算器Stripe 手续费计算器十一奉献计算器天课计算器英国印花税计算器HRA免税计算器服务酬金计算器NPS计算器EPF计算器PPF计算器RD计算器SWP计算器税前工资倒推计算器贷款比较计算器信用使用率计算器CD阶梯计算器美国国库券T-Bill计算器I 系列储蓄债券计算器529大学储蓄计算器HSA计算器遣散费计算器加薪计算器发票生成器出差津贴计算器里程报销计算器房租涨幅计算器按比例租金计算器房租承受能力计算器汽车落地价计算器购车预算计算器摩托车贷款计算器房车贷款计算器船舶贷款计算器土地贷款计算器建筑贷款计算器只付利息抵押贷款计算器气球贷计算器房贷点数计算器PMI计算器双周房贷还款计算器ARM浮动利率房贷计算器VA贷款计算器实发工资计算器AI SQL 查询生成器AI正则表达式生成器AI 数据可视化工具 (粘贴 CSV)AI文本语气分析器AI简历分析器AI单位转换器自然语言AI道歉信生成器AI礼貌借口生成器AI旅行行程生成器AI阅读清单生成器AI健身计划生成器AI膳食计划生成器AI礼物点子生成器ai食谱生成器根据现有食材奖学金投资回报率计算器大学费用计算器语言学习流利度小时数计算器词汇测验生成器康奈尔笔记生成器学习曲线计算器抽认卡间隔重复调度器瓷砖填缝剂计算器洗碗机装载优化器洗涤剂用量计算器染发剂调配计算器打印成本计算器礼品卡小费计算器搬家纸箱数量计算器储物单元尺寸计算器胶囊衣橱搭配计算器皮带长度计算器液压缸推力计算器滑轮组计算器齿轮比计算器机械比热容计算器热膨胀计算器热传递计算器伯努利方程计算器潮汐时间计算器星空可见度计算器绳结打法参考工具睡袋温度评级指南帐篷地布尺寸计算器背包旅行食物重量计算器奈史密斯徒步配速计算器刺绣线长度计算器树脂浇注用量计算器串珠图案计算器陶土收缩率计算器折纸纸张尺寸计算器被子滚边计算器十字绣绣线计算器针织图案计算器编织针尺寸转换器钩针尺寸转换器马匹干草计算器宠物航空旅行航空箱尺寸查询器爬虫栖息地UVB计算器鸟笼尺寸计算器鱼缸加热棒瓦数计算器猫砂盆数量计算器前照灯光束距离计算器发动机压缩比计算器轮胎花纹磨损计算器挂车舌重计算器车辆重量分布计算器旅行费用分摊计算器刹车距离计算器工伤赔偿计算器遗嘱资产分配计算器商标分类查询工具专利申请费计算器销售税关联检查器刑期减免计算器诉讼时效计算器Airbnb 定价优化器室友房租分摊计算器Section 8 租金计算器BRRRR 方法计算器现金对现金回报率计算器租金收益率计算器1031 交换计算器财富增长可视化工具午餐花费计算器健身房 vs 家庭健身花费计算器咖啡花费计算器远程办公省钱计算器副业ROI计算器订阅费用追踪器SaaS定价计算器自由职业项目报价计算器烟熏木材搭配指南发酵时间计算器腌制时间计算器饮食限制食谱筛选器香料替代查找器咖啡因半衰期追踪器标准杯计算器葡萄酒搭配建议器攀岩难度等级转换器自行车齿轮比计算器钓鱼结强度计算器瑜伽体式保持计时器游泳SWOLF计算器跑步成绩预测计算器拳击出拳力量计算器橄榄球得分计算器板球得分率计算器网球计分器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 三角剖分生成器镶嵌图案生成器六西格玛过程能力计算器youtube收益估算器