无需登录 数据私有 本地保存

卡诺图化简工具 - 布尔表达式最小化

开发工具 教育工具 化简 卡诺图 逻辑
96
0
0
0
变量数
最小项输入
逗号分隔
无关项 (Don't Care)
可选
卡诺图 — 点击格子切换 0 → 1 → X → 0
点击卡诺图格子修改值 | 悬停分组查看覆盖范围
化简结果 (SOP)
请先输入最小项或点击卡诺图...
真值表摘要
最小项值
最小项总数: 0 | 值为1: 0 | 无关项: 0
常见问题与知识点
什么是卡诺图？
卡诺图（Karnaugh Map，简称K-map）是由贝尔实验室的莫里斯·卡诺（Maurice Karnaugh）于1953年发明的布尔表达式化简工具。它将真值表以二维网格形式展示，使用格雷码排列，使得相邻格子仅有一位变量不同。通过识别矩形分组，可以直观地消去冗余变量，获得最简布尔表达式。卡诺图广泛应用于数字电路设计、逻辑优化和计算机工程领域。
卡诺图中格雷码排列的作用是什么？
格雷码（Gray Code）保证相邻编码之间只有一位不同。在卡诺图中使用格雷码排列行和列，使得相邻格子（包括环形边界）对应的最小项仅有一个变量发生变化。这种排列使得任何有效的矩形分组（大小为2ⁿ）都能消去对应数量的变量——如果分组在某个变量方向上同时覆盖0和1，该变量就在乘积项中被消去。这是卡诺图化简的核心原理。
如何在卡诺图中识别有效分组？
有效分组必须满足以下条件：①分组必须是矩形（在环形意义上）；②矩形的每条边长度必须是2的幂（1、2、4、8）；③分组覆盖的所有格子值必须为1或X（无关项），且至少包含一个1；④分组应尽可能大（质蕴含项）。常见的分组模式包括：1×1（单个1）、1×2、2×1、2×2、1×4、4×1、2×4、4×2、4×4等。分组可以跨越卡诺图的边界（环形特性）。
质蕴含项和本质质蕴含项有什么区别？
质蕴含项（Prime Implicant）是不能再被扩大的有效分组——即无法被更大的矩形分组完全包含。本质质蕴含项（Essential Prime Implicant）是覆盖了某个最小项的唯一质蕴含项，该最小项不被其他任何质蕴含项覆盖。本质质蕴含项必须出现在最终的最简表达式中。在化简过程中，首先识别并选取所有本质质蕴含项，然后使用贪心算法选择额外质蕴含项覆盖剩余最小项。
卡诺图能处理多少变量的布尔函数？
卡诺图最适用于2-4变量的布尔函数。5变量和6变量的卡诺图虽然存在（使用三维或分层卡诺图），但可视化和手动操作难度显著增加。对于7变量及以上的函数，通常使用Quine-McCluskey算法、Espresso算法等计算机辅助化简方法。本工具支持2-4变量的卡诺图化简，覆盖了大多数教学和基础设计需求。
Don't Care（无关项）在化简中如何利用？
无关项（Don't Care，用X表示）对应的是在实际电路中不可能出现或不关心的输入组合。在卡诺图化简中，无关项可以被灵活地包含在分组中（视为1）以形成更大的矩形，从而消去更多变量；也可以被排除（视为0）。合理利用无关项通常能获得更简洁的表达式。但无关项本身不需要被覆盖——最终表达式只需覆盖所有值为1的最小项即可。
🔧 相关工具