简化您的工作流程：搜索 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

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

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

进阶数学计算:

常用工具:

随机信用卡生成器MAC地址查找彩票号码生成器凯利公式计算器网址提取器英尺英寸转换为厘米音频提取器太阳、月亮与上升星座计算器 🌞🌙✨🌡️ 体感温度计算器随机扑克牌生成器CAGR计算器SRT转为TXT工具相对标准偏差计算器MAC地址生成器样本量计算器cpm计算器图片打码工具厘米到英尺和英寸转换器随机IMEI生成器音频分割器🎮 游戏灵敏度转换器HEX计算器定期存款计算器调整视频速度百分比折扣计算器FPS 转换器考拉兹猜想计算器t检验计算器VAT计算器毛利率计算器SHA256 哈希生成器农历转换器真心话大冒险生成器kg到lbs转换器对数计算器比例计算器太阳位置计算器Log Base 10 计算器血糖转换器质数检查器百分比变化计算器随机字符串生成器📅 日期计算器Facebook用户ID查询斜边计算器卡方检验计算器随机选择器One Rep Max (1RM) 计算器罗马数字转换器为图片添加文字随机化数字职位查找器DOY日历随机字母生成器密码强度测试器翻转视频年度天数计算器 - 今天是今年的第几天图片压缩器标准偏差计算器 - 高精度英寸到厘米转换器磅转千克转换器位数计算器🖱️ 点击计数器随机装备生成器srt时间偏移椭圆周长计算器余弦定理计算器六西格玛过程能力计算器半衰期计算器颜料调色计算器根式化简器泰勒级数计算器视频转图片提取器百分比到ppm转换器💧 露点计算器PSI 转 Bar 转换器十六进制到十进制转换器两点间距离计算器积分计算器配色方案生成器变异系数计算器合并视频填字游戏制作器抛硬币极坐标方程绘图器螺栓扭矩计算器三角函数绘图器分贝 (dB) 计算器利润计算器弧长计算器条形码生成器Instagram用户ID查询原根计算器年龄计算器MD5哈希生成器分数计算器卧推计算器多项式展开计算器⏱️ 小时计算器新月和满月日历米到英尺转换器花样字体生成器随机虚假地址生成器利率计算器日出日落计算器雷诺数计算器因子计算器获取字符串长度视频分割器圆柱体体积计算器 高精度圆计算器最简分数计算器百分比计算器黄金时刻和蓝调时刻计算器体脂百分比计算器图片分割器年金现值计算器月亮星座计算器高斯分布生成器模计算器相关系数计算器🔊 音调发生器双重积分计算器复数计算器质数列表📷 OCR / 图片文字识别YouTube频道统计伊斯兰历转换器发音音标转换器圆锥展开图模板生成器百分比增加计算器视频压缩器随机颜色生成器隐形文本生成器🥧 饼图制作工具⚔️ DPS计算器kpa到psi转换器总和计算器数字提取器死链检查器磅到克转换器组合计算器AI Token 计数器Mann-Whitney U 检验计算器⏱️ 倒计时器圆形面积计算器随机坐标生成器Argon2哈希生成器GIF 转 MP4 转换器图片添加线条循环播放视频快速傅里叶变换FFT计算器📈 折线图制作工具数织生成器-picross杀手数独生成器迷宫生成器邻接矩阵计算器阅读时间计算器日历Webhook测试器摩尔斯电码生成器百分比增长率计算器误差函数计算器SRT合并工具Voronoi 图生成器凯撒密码工具指数计算器-高精度随机写作提示生成器atan2计算器MAC 地址分析工具中点计算器数字随机化器每个月的天数随机数学题生成器黄金分割计算器anova计算器JWT生成器圆台计算器度分秒到十进制转换器🎰 抽卡保底计算器排序数字样本标准差计算器百分比减少计算器直方图生成器矩形计算器随机域名生成器马丁格尔策略计算器两个日期之间亚马逊 FBA 计算器商和余数计算器图片Base64转换器康奈尔笔记生成器惯性矩计算器我的幸运数字是什么按位计算器旋转视频特征值和特征向量计算器随机英文单词生成器AI标点符号添加器p值计算器自行车尺寸计算器速通分段计时器斯特伯福计分计算器飞镖残局计算器板球投球经济率计算器板球击球率计算器净得分率计算器KD比率计算器Elo 等级分计算器心率恢复计算器徒步时间计算器划船配速计算器跑步年龄分级计算器FTP功率区间计算器Beep 测试计算器ACFT分数计算器Wilks & DOTS 计算器轮毂偏距计算器轮胎负荷指数与速度等级查询每英里成本计算器租赁买断计算器辛烷值混合计算器二冲程机油混合计算器发动机排量计算器沙发过门计算器木柴考得计算器空气净化器CADR计算器除湿机尺寸计算器吊扇尺寸计算器窗帘尺寸计算器地毯尺寸计算器挂画高度计算器电视安装高度计算器电视尺寸计算器池塘容积和衬垫计算器泳池盐量计算器泳池容积计算器热水器尺寸计算器环氧树脂计算器栏杆立柱间距计算器踢脚线和装饰线条计算器壁板计算器露台木器染色剂计算器草籽计算器草皮计算器沥青计算器立方码计算器天线长度计算器电线管填充率计算器串联并联电容计算器感抗计算器房间照明计算器勒克斯转流明计算器流明转瓦特转换器发电机功率计算器mah到wh转换器三相功率计算器kVA计算器安培转瓦特计算器瓦特转安培计算器串联电阻计算器摩擦力计算器斜面计算器机械效益计算器声速计算器波速计算器浮力计算器终端速度计算器德布罗意波长计算器光子能量计算器emc2计算器时间膨胀计算器开普勒第三定律计算器逃逸速度计算器万有引力计算器比尔-朗伯定律计算器能斯特方程计算器渗透压计算器沸点升高计算器凝固点降低计算器百分比组成计算器当量浓度计算器质量摩尔浓度计算器pKa到Ka转换器亨德森-哈塞尔巴尔赫计算器理论产量计算器限制反应物计算器电子排布计算器交互式元素周期表AI教案生成器AI测验生成器引用生成器 (APA/MLA/Chicago)出勤率计算器AP分数计算器ACT分数计算器SAT分数计算器百分比转CGPA转换器CGPA转百分比转换器简易评分器 EZ Grader养育孩子成本计算器宝宝奶量计算器尿布尺寸计算器婴儿名字生成器宝宝眼睛颜色预测器儿童BMI百分位计算器儿童身高预测器hcg翻倍时间计算器试管婴儿预产期计算器着床计算器中国生男生女预测器ISO 8601 日期格式化工具儒略日转换器小睡计算器月相计算器世界时钟日期罗马数字转换器退休倒计时戒瘾天数计算器半岁生日计算器纪念日计算器周数计算器小费分配计算器电子邮件营销ROI计算器每条线索成本计算器营运资本计算器youtube收益估算器随机RPG角色生成器