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

卡诺图在线化简器 - 二至六变量逻辑最小化

16
0
0
0
点击卡诺图单元格切换值：1 → X → 0 → 循环。相邻单元格只有一位变量不同（格雷码排列）。
卡诺图 (4变量: A,B,C,D) 16 单元格
化简结果
最简与或式 (SOP) — 覆盖所有1
—
最简或与式 (POS) — 覆盖所有0
—
统计
1的个数: 0 X的个数: 0 质蕴涵项: 0
常见问题与知识点
什么是卡诺图（Karnaugh Map）？

卡诺图是由Maurice Karnaugh于1953年提出的一种布尔代数化简工具。它将真值表以格雷码排列成二维（或三维）网格，使得相邻单元格只有一位变量不同。这样，可以直观地找出可以合并的相邻1（或0），从而得到最简逻辑表达式。卡诺图适用于2~6个变量的逻辑函数化简。

为什么卡诺图使用格雷码排列？

格雷码（Gray Code）保证相邻编码之间只有一位不同。在卡诺图中，行和列标签使用格雷码排列（如00→01→11→10），这样物理上相邻的单元格在逻辑上也相邻。这种相邻性使得矩形分组能够对应消去变量的乘积项，是实现可视化化简的关键。

质蕴涵项（Prime Implicant）是什么？

质蕴涵项是不能再被更大合法分组包含的有效分组。一个合法分组是大小为2k的矩形（全部由1或X组成，不含0），质蕴涵项就是这些分组中极大的那些。在卡诺图上，质蕴涵项对应尽可能大的矩形圈。只有质蕴涵项才可能出现在最简表达式中。

本质质蕴涵项（Essential PI）是什么？

本质质蕴涵项是覆盖了某个唯一最小项的质蕴涵项。如果某个输出为1的单元格只被一个质蕴涵项覆盖，那么该质蕴涵项必须被选中，否则该最小项将无法被覆盖。本质质蕴涵项一定出现在最简SOP中，是化简的必选项。

SOP与POS有什么区别？

SOP（Sum of Products，与或式）：将输出为1的最小项用乘积项（AND）表示，然后求和（OR）。适用于1较少的函数。
POS（Product of Sums，或与式）：将输出为0的最大项用和项（OR）表示，然后求积（AND）。适用于0较少的函数。两者通过德摩根定理相互转换。

无关项（Don't Care / X）的作用？

无关项（标记为X）表示该输入组合永远不会出现或输出可任意取值。在化简时，X可以被视为1或0，灵活地用于扩大分组以消除更多变量，从而得到更简化的表达式。但X不需要被强制覆盖，只作为辅助。合理利用无关项往往能大幅简化电路。

5变量和6变量卡诺图如何使用？

5变量卡诺图由两个4×4层组成（对应E=0和E=1），6变量由四个4×4层组成（对应EF的格雷码排列）。分组可以跨层存在，只要在各维度上大小均为2的幂。跨层分组能消除层变量（E或EF），从而得到更简化的表达式。本工具自动处理跨层分组的识别和高亮。

卡诺图与Quine-McCluskey算法有何关系？

两者目标相同——寻找最简逻辑表达式。卡诺图是图形化方法，直观但受变量数限制（≤6变量）。Quine-McCluskey是表格化算法，可处理更多变量，适合计算机实现。本工具在底层使用枚举法（类似Q-M的思想），自动找出所有质蕴涵项并通过覆盖表选择最优解。

🔧 相关工具