1. 从“头疼”到“清晰”为什么我们需要卡诺图如果你刚学完逻辑代数的基本公式和定律比如吸收律、分配律、摩根定理然后老师丢给你一个四变量甚至五变量的逻辑表达式让你化简你的第一反应是什么我当年是懵的。面对一堆字母和运算符用公式法化简就像在玩一个没有固定套路的拼图全凭经验和运气。这一步用吸收律下一步用配项法过程繁琐不说还特别容易出错化简完心里也没底不知道是不是最简式。卡诺图就是来解决这个“头疼”问题的。它不是另一套复杂的理论而是一种将逻辑代数关系可视化的工具。你可以把它想象成一张“逻辑关系地图”。在这张地图上所有相邻的格子其代表的逻辑状态也天然是“相邻”的——即它们之间只有一个变量发生了变化。这种几何位置上的相邻性直接对应了逻辑上的可合并性利用公式 A A 1。所以卡诺图化简法的核心价值在于把抽象的代数运算转化为直观的图形圈选操作。它让化简过程变得有迹可循尤其是对于四、五变量的表达式其优势是公式法无法比拟的。你不需要再去“灵光一现”地尝试各种公式组合只需要学会看这张“地图”并掌握“圈格子”的规则就能系统性地、且几乎不会出错地找到最简与或式。这对于后续的电路设计比如用最少的逻辑门与门、或门来实现给定功能是至关重要的一步。2. 绘制你的第一张“逻辑地图”卡诺图的构建规则在开始圈选之前我们必须先学会画这张“地图”。卡诺图本质上是一个真值表的图形化排列但它的排列顺序有严格规定这是保证“相邻性”的关键。2.1 确定变量数与图形结构卡诺图的格子数是 2^nn 是逻辑变量的个数。2变量2^2 4个格子画成2行2列。3变量2^3 8个格子画成2行4列或4行2列。通常行代表一个变量列代表两个变量。4变量2^4 16个格子画成4行4列。这是最经典、最常用的形式。5变量2^5 32个格子画成两个4x4的图叠在一起分别代表第五个变量的0和1。复杂度显著上升但原理相通。我们以最核心的四变量卡诺图为例进行详解。想象一个4x4的方格图。2.2 理解关键的“格雷码”顺序标注这是新手最容易出错的地方。卡诺图的行和列不是按二进制顺序00, 01, 10, 11标注而是按格雷码Gray Code顺序标注。什么是格雷码它的核心特点是相邻两个编码之间有且仅有一位二进制数不同。这完美契合了卡诺图“几何相邻对应逻辑相邻”的需求。二进制顺序00 - 01 - 10 - 11。从01到10两位都变了这就不“相邻”。格雷码顺序00 - 01 - 11 - 10。你看每一步都只变一位00变01变低位01变11变高位11变10变低位。所以对于四变量卡诺图我们通常将两个变量如A、B分配给行两个变量如C、D分配给列。它们的取值按照格雷码顺序排列行AB00, 01, 11, 10列CD00, 01, 11, 10这样图中任何一个格子其上下左右注意包括循环相邻即最左和最右、最上和最下也是相邻的的格子都满足“只有一个变量取值不同”。例如代表ABCD0110的格子它的左边是0100D不同右边是0111D不同上边是0010B不同下边是1110A不同。2.3 填入逻辑函数值有了地图就要把数据填进去。根据给定的逻辑函数可能是真值表、最小项表达式m或最大项表达式M在每个对应的格子里填上1或0。对于最小项之和形式函数包含哪些最小项就在那些最小项对应的格子里填1其余填0或空着。对于最大项之积形式函数包含哪些最大项就在那些最大项对应的格子里填0其余填1。通常我们更习惯处理1。注意很多初学者会在这里卡住因为需要将最小项下标或ABCD的取值快速定位到图中某个格子。一个实用的技巧是行和列的格雷码共同确定了一个四位二进制数AB为高两位CD为低两位这个数对应的十进制就是最小项下标。多练习几次就能一眼定位。3. 核心操作“圈地运动”的法则与技巧填好1和0之后化简工作就变成了在卡诺图上将所有填1的格子称为“1格”用矩形圈起来的过程。这个过程的目标是用数量最少、面积最大的矩形圈覆盖所有的“1格”。3.1 “圈”的合法性与对应项圈的形状必须是矩形或正方形。可以是一行、一列、一个2x2的方块、一个4x1的长条甚至对于四变量图整个一行4个格子或整个一列4个格子都是合法的“圈”。五变量及以上还可以跨两张图进行三维的“圈”。圈的大小必须是2的整数次幂个格子1, 2, 4, 8, 16...。1个格子2^0可以圈2个2^1、4个2^2、8个2^3都可以。圈的合并原理圈起2^k个相邻的1格意味着这2^k个最小项可以合并为一项消去k个变量。因为在这些格子中有k个变量的取值在0和1之间变化根据AA1这些变量在合并后的乘积项中被消去了。圈1个格对应一个最小项无法化简包含所有变量。圈2个格消去1个变量。圈4个格消去2个变量。圈8个格消去3个变量。3.2 寻找“质蕴涵项”与“必要质蕴涵项”这是化简到最简的关键思维质蕴涵项一个圈如果它不被任何更大的圈完全包含那么这个圈就是一个质蕴涵项。换句话说你无法再扩大这个圈去覆盖更多有效的1格不能包含0格。必要质蕴涵项如果一个质蕴涵项包含了某个“仅被它覆盖的1格”即这个1格不在其他任何质蕴涵项中那么这个质蕴涵项就是“必要”的它必须出现在最终的最简表达式中。化简步骤可以系统化为先找所有可能的质蕴涵项尝试用尽可能大的合法矩形去圈1格确保每个圈都是“极大”的。识别必要质蕴涵项检查是否有“孤独”的1格只存在于某一个质蕴涵项中。包含这种格子的质蕴涵项必须被选中。选择性覆盖剩余1格被必要质蕴涵项覆盖的1格可以打勾忽略。对于剩下的未被覆盖的1格从剩下的质蕴涵项中选择一组数量最少的组合将它们全部覆盖。3.3 那些容易踩坑的细节与技巧循环相邻性卡诺图是一个“循环”的平面。最左边一列和最右边一列是相邻的最上面一行和最下面一行也是相邻的。想象把图卷成一个筒。这是圈出大矩形如4x1的长条的关键。“无关项”的处理在实际逻辑问题中某些输入组合永远不会出现或者出现时输出是0是1都无所谓。这些组合对应的最小项称为“无关项”在卡诺图中用“X”或“d”表示。“无关项”是化简时强大的“万能牌”。你可以根据需要灵活地将它们当作1或0目的是帮助你画出更大、更少的圈。通常我们会把能帮助形成更大质蕴涵项的无关项看作1。圈的重叠是允许的一个1格可以被多个圈覆盖。这不会影响逻辑的正确性因为A A A但可能会影响表达式是否最简。我们的目标是覆盖所有1格而不是每个1格只被圈一次。避免“冗余圈”如果一个圈里的所有1格都已经被其他选中的圈覆盖了那么这个圈就是冗余的不应该出现在最终表达式里。检查冗余是得到最简式的最后一步。4. 从图形回到表达式写最简与或式圈好圈之后如何写出化简后的逻辑表达式呢规则很简单每一个圈对应一个乘积项与项将所有圈对应的乘积项相加或起来就得到最简与或式。为每个圈写出乘积项的规则观察这个圈覆盖的区域哪些变量的取值在整个圈内发生了变化既有0也有1这些变量将被消去。哪些变量的取值在整个圈内是恒定不变的全为0或全为1这些变量将保留在乘积项中。如果变量取值为1则保留原变量如A如果取值为0则保留其反变量如A’。举例在四变量卡诺图变量A,B,C,D中如果你圈了一个位于最上面一行AB00的四个格子一个横条。观察A和B在这个圈内A和B始终为0所以保留 AB。C和D在这个圈内C和D从00变到01变到11变到10全部情况都出现了意味着C和D被消去。因此这个圈对应的乘积项就是AB。再举一个2x2方块的例子圈了四个格子对应的行是AB01和11对应的列是CD01和11。观察变量A在AB01和11中A有0有1变化消去。变量B在AB01和11中B始终为1所以保留B。变量C在CD01和11中C有0有1变化消去。变量D在CD01和11中D始终为1所以保留D。因此这个圈对应的乘积项就是BD。将所有圈对应的乘积项用“”连接起来就得到了最简与或表达式。5. 实战演练手把手化简一个四变量函数光说不练假把式。假设我们有一个逻辑函数其最小项表达式为F(A, B, C, D) Σm(0, 2, 5, 6, 7, 8, 10, 12, 13, 15)。我们用卡诺图来化简它。步骤1画出四变量卡诺图并标注画一个4x4的格子。行变量为AB按格雷码顺序从上到下标注00, 01, 11, 10。列变量为CD按格雷码顺序从左到右标注00, 01, 11, 10。步骤2根据最小项下标填入1将下标转换为二进制对应AB, CD即可定位。m0: 0000 - AB00, CD00 - 左上角格子填1。m2: 0010 - AB00, CD10 - 第一行第三列填1。m5: 0101 - AB01, CD01 - 第二行第二列填1。m6: 0110 - AB01, CD10 - 第二行第三列填1。m7: 0111 - AB01, CD11 - 第二行第四列填1。m8: 1000 - AB10, CD00 - 第四行第一列填1。m10:1010 - AB10, CD10 - 第四行第三列填1。m12:1100 - AB11, CD00 - 第三行第一列填1。m13:1101 - AB11, CD01 - 第三行第二列填1。m15:1111 - AB11, CD11 - 第三行第四列填1。 其余格子填0或留空。步骤3圈出所有质蕴涵项现在面对这10个1格开始“圈地”。找4格圈观察m5, m7, m13, m15。它们构成一个2x2方块吗检查位置m5(01,01), m7(01,11), m13(11,01), m15(11,11)。是的它们正好构成一个方块AB列在01和11CD行在01和11。这个圈可以消去A和C得到BD。观察m6和m7。它们能和谁组成4格m6(01,10), m7(01,11)。再看同一列下面的m13(11,01)? 不对CD不同。看m14? 但m14是0。所以这里可能先考虑2格圈。换个角度看m12(11,00)和m13(11,01)。它们能和谁组成4格看同一行的m14(11,10)和m15(11,11)? m14是0m15是1。所以m12, m13, m15加上m14但m14是0不能圈。所以这里可能也是一个2格圈。利用循环相邻性看最左边一列m0(00,00), m8(10,00), m12(11,00)。还有m4(01,00)是0。所以这一列只有三个1不能组成4格但可以组成一个“L”形的2格组合不我们要找矩形。实际上m0和m8是上下相邻吗AB从00变到10只有B相同不对A和B都变了。所以不相邻。这里新手容易乱我们系统性地来。更稳妥的方法是先找明显的圈1覆盖 m5, m7, m13, m15 - 乘积项 BD。圈2覆盖 m6, m7 - 这是一个2格圈水平相邻但注意m7已经被圈1覆盖了。我们看看有没有更大的可能。m6(01,10)和m14(11,10)? m14是0。所以这个2格圈是质蕴涵项吗检查能否扩大向上m2(00,10)是1可以m2, m6, m10? m10(10,10)是1再看m14是0。所以我们可以圈一个4格圈覆盖 m2(00,10), m6(01,10), m10(10,10), m14(11,10)? 停m14是0不能圈。所以只能圈m2, m6, m10这三个不在一条直线也不是矩形。所以m2, m6, m10这三个点有什么几何关系它们在卡诺图上的位置m2(00,10)第一行第三列m6(01,10)第二行第三列m10(10,10)第四行第三列。它们都在CD10这一列上但是第二行AB11的CD10即m14是0。所以这一列只有三个1。不能构成4格矩形。因此对于m2, m6, m10我们最多只能两两相圈。但有没有一种可能我们圈一个覆盖m2和m10的圈它们一个在最上一行一个在最下一行是循环相邻的而且它们都是CD10。AB从00变到10只有B变了检查AB: 00-10A和B都变了00和10第一位A从0变1第二位B从0变0不对B都是0。哦AB00和10B都是0A从0变1。所以只有A变化了。因此m2和m10是相邻的循环相邻可以圈一个2格圈消去A得到 BC D因为AB: B0所以BCD10所以C1, D0即C D。同样m6和m10呢m6(01,10)和m10(10,10)。AB从01变到10A和B都变了01-10A:0-1, B:1-0。都变了所以不相邻。那么m2和m6呢m2(00,10)和m6(01,10)。AB从00变到01只有B变了A0不变所以相邻。可以圈一个2格圈消去B得到 AC DA0所以ACD10所以C D。现在我们有圈1(BD)覆盖了m5,m7,m13,m15。m2,m6,m10还没被覆盖。我们可以用两个2格圈覆盖它们圈3覆盖m2和m6AC D圈4覆盖m2和m10BC D。但这样m2被覆盖了两次而且我们用了两个圈。有没有更好的办法观察m0, m2, m8, m10。它们的位置m0(00,00), m2(00,10), m8(10,00), m10(10,10)。这是一个“四角”分布在卡诺图上四个角格是相邻的循环相邻性在水平和垂直方向同时作用。它们可以构成一个2x2的圈吗在几何上它们并不直接形成一个连续的矩形。但实际上在卡诺图中四个角格m0, m2, m8, m10是相邻的可以合并。因为m0和m2同行相邻m8和m10同行相邻同时m0和m8循环上下相邻m2和m10循环上下相邻。这四格合并可以消去A和B我们来验证这四格A和B的取值分别是00, 00, 10, 10。A有0有1B有0有1所以A和B都被消去。C和D的取值分别是00, 10, 00, 10。C始终为0D有0有1。所以D被消去保留C。因此这个“四角圈”对应的乘积项是C。太棒了这个圈覆盖了m0, m2, m8, m10。现在盘点圈A四角圈覆盖 m0, m2, m8, m10 - 乘积项 C圈B方块圈覆盖 m5, m7, m13, m15 - 乘积项 BD现在还剩下的1格有m6, m12, m13, m15? m13和m15已被圈B覆盖。m12和m6未被覆盖。处理m12(11,00)它相邻的有m8(10,00)和m13(11,01)和m14(11,10)? m14是0。m8已被圈A覆盖但m8是1。我们可以尝试圈m8和m12它们上下相邻AB从10变到11只有A变了10-11A:1-1?不对A都是1B从0变1。所以只有B变了。可以圈一个2格圈消去B得到 A C DA1所以ACD00所以C D。但m8已经被圈A覆盖了我们是否需要单独为m12画圈检查m12是否被其他圈覆盖圈A覆盖的是C包含CD00的列但AB必须是什么圈A对应的是C意味着无论A,B,D取何值只要C0。所以当AB11, CD00时C0满足条件。因此m12(1100)已经被圈AC覆盖了因为C项包含了所有C0的情况无论A,B,D是什么。所以m12不用再单独圈。最后处理m6(01,10)它相邻的有m2(00,10), m7(01,11), m4(01,00), m14(11,10)。其中m2已被圈A覆盖m7已被圈B覆盖m4和m14是0。所以m6是一个“孤独”的1格吗不它和m2相邻但m2已在圈A中。圈AC能覆盖m6吗m6的CD10C1所以不满足C。圈BBD能覆盖m6吗m6的B1, D0不满足BD需要B1且D1。所以m6没有被任何现有的圈覆盖。我们必须为它单独画圈。它可以和谁圈只能和m2或m7组成2格圈。m7已被圈B覆盖且m6和m7组成的项ABC?不如和m2组成的项简单。m6和m2组成圈AB从01变到00只有B变了CD10不变。所以消去B得到 AC D。步骤4写出最简表达式我们最终选中的圈是圈A四角圈C圈B方块圈BD圈Cm6和m2AC D 注意m2已被圈A覆盖但圈C仍然需要以保证m6被覆盖这是允许的重叠因此最简与或式为F C BD AC D你可以用公式法验证一下这个结果会发现它确实比原始的最小项之和简洁得多。通过这个详细的推演过程你应该能体会到卡诺图如何一步步引导我们找到最简解尤其是发现“四角圈”这种不太直观的合并正是卡诺图威力的体现。6. 不止于与或式卡诺图的其他应用与局限卡诺图的主要产出是最简与或式但它还能做更多。求最简或与式我们之前圈的是“1格”得到的是“积之和”。如果想得到“和之积”形式可以圈“0格”。圈0格的规则完全相同但写出的每个圈对应一个“和项”或项最后将这些和项相乘。圈0格得到的是F的最简与或式再取反并用摩根定理转换即可得到F的最简或与式。有时圈0格可能得到更简单的电路特别当0的个数远少于1时。逻辑函数运算在卡诺图上可以直接进行函数的与、或、非运算。例如求F·G可以将F和G的卡诺图对应格子相乘与运算求FG则对应格子相加或运算。这比代数运算更直观。检查逻辑关系通过观察卡诺图可以一眼看出两个函数是否相等、是否互补、是否存在蕴含关系等。当然卡诺图也有其局限变量限制超过5个变量后卡诺图会变得非常复杂32格、64格...三维甚至四维的“相邻性”难以在平面上直观表示此时其优势减弱通常需要借助计算机辅助的奎因-麦克拉斯基算法。依赖人工技巧虽然比公式法系统但在圈选质蕴涵项和选择覆盖时仍需要一定的经验和技巧尤其是处理多个非必要质蕴涵项时可能存在多种最简解需要人工比较选择。7. 我的实操心得如何高效利用卡诺图最后分享几点我在学习和使用卡诺图过程中的体会这些在教科书里不一定强调先找“大圈”再顾“小圈”这是最高效的原则。一上来就先寻找能圈8个、4个格子的机会尤其是利用循环相邻性找那些跨边界的圈。大圈意味着消去的变量多得到的乘积项简单。处理完所有可能的大圈后再去覆盖那些散落的、未被覆盖的1格。“无关项”是朋友要大胆用遇到带有无关项的函数先别管它。在圈1格时优先把无关项当作1看它能否帮助你形成一个更大的圈。只有当它妨碍你圈大圈比如让它为1会导致圈里混入0格时才把它当作0。无关项能极大简化结果。养成“交叉验证”习惯圈完后不要急着写答案。随机选几个原始函数中为1的最小项代入你化简后的表达式看看结果是否为1再选几个为0的最小项代入看看是否为0。这是快速检验化简正确性的好方法。理解“圈”的物理意义每一个圈对应电路中的一个与门。圈越大与门的输入端越少。最终表达式的项数对应或门的输入端数。化简的目标就是减少与门的数量和每个与门的输入端数这在TTL芯片时代是为了节省成本在FPGA设计中则是为了优化查找表资源。面对多解情况有时会存在多个同样最简的表达式。如果只是理论化简任选一个即可。如果是实际电路设计可能需要考虑其他因素例如是否共用某些乘积项、信号的驱动能力、门电路的扇入扇出限制等此时可以基于卡诺图上的不同覆盖方案进行权衡。卡诺图是数字逻辑设计的基石工具之一。熟练掌握它不仅能让你在考试和作业中游刃有余更能帮你建立起对逻辑函数化简的直觉。当你看到一堆1和0的分布能立刻在脑中勾勒出合并的图案时你就真正掌握了这门图形化的艺术。 1. 从“头疼”到“清晰”为什么我们需要卡诺图如果你刚学完逻辑代数的基本公式和定律比如吸收律、分配律、摩根定理然后老师丢给你一个四变量甚至五变量的逻辑表达式让你化简你的第一反应是什么我当年是懵的。面对一堆字母和运算符用公式法化简就像在玩一个没有固定套路的拼图全凭经验和运气。这一步用吸收律下一步用配项法过程繁琐不说还特别容易出错化简完心里也没底不知道是不是最简式。卡诺图就是来解决这个“头疼”问题的。它不是另一套复杂的理论而是一种将逻辑代数关系可视化的工具。你可以把它想象成一张“逻辑关系地图”。在这张地图上所有相邻的格子其代表的逻辑状态也天然是“相邻”的——即它们之间只有一个变量发生了变化。这种几何位置上的相邻性直接对应了逻辑上的可合并性利用公式 A A 1。所以卡诺图化简法的核心价值在于把抽象的代数运算转化为直观的图形圈选操作。它让化简过程变得有迹可循尤其是对于四、五变量的表达式其优势是公式法无法比拟的。你不需要再去“灵光一现”地尝试各种公式组合只需要学会看这张“地图”并掌握“圈格子”的规则就能系统性地、且几乎不会出错地找到最简与或式。这对于后续的电路设计比如用最少的逻辑门与门、或门来实现给定功能是至关重要的一步。2. 绘制你的第一张“逻辑地图”卡诺图的构建规则在开始圈选之前我们必须先学会画这张“地图”。卡诺图本质上是一个真值表的图形化排列但它的排列顺序有严格规定这是保证“相邻性”的关键。2.1 确定变量数与图形结构卡诺图的格子数是 2^nn 是逻辑变量的个数。2变量2^2 4个格子画成2行2列。3变量2^3 8个格子画成2行4列或4行2列。通常行代表一个变量列代表两个变量。4变量2^4 16个格子画成4行4列。这是最经典、最常用的形式。5变量2^5 32个格子画成两个4x4的图叠在一起分别代表第五个变量的0和1。复杂度显著上升但原理相通。我们以最核心的四变量卡诺图为例进行详解。想象一个4x4的方格图。2.2 理解关键的“格雷码”顺序标注这是新手最容易出错的地方。卡诺图的行和列不是按二进制顺序00, 01, 10, 11标注而是按格雷码Gray Code顺序标注。什么是格雷码它的核心特点是相邻两个编码之间有且仅有一位二进制数不同。这完美契合了卡诺图“几何相邻对应逻辑相邻”的需求。二进制顺序00 - 01 - 10 - 11。从01到10两位都变了这就不“相邻”。格雷码顺序00 - 01 - 11 - 10。你看每一步都只变一位00变01变低位01变11变高位11变10变低位。所以对于四变量卡诺图我们通常将两个变量如A、B分配给行两个变量如C、D分配给列。它们的取值按照格雷码顺序排列行AB00, 01, 11, 10列CD00, 01, 11, 10这样图中任何一个格子其上下左右注意包括循环相邻即最左和最右、最上和最下也是相邻的的格子都满足“只有一个变量取值不同”。例如代表ABCD0110的格子它的左边是0100D不同右边是0111D不同上边是0010B不同下边是1110A不同。2.3 填入逻辑函数值有了地图就要把数据填进去。根据给定的逻辑函数可能是真值表、最小项表达式m或最大项表达式M在每个对应的格子里填上1或0。对于最小项之和形式函数包含哪些最小项就在那些最小项对应的格子里填1其余填0或空着。对于最大项之积形式函数包含哪些最大项就在那些最大项对应的格子里填0其余填1。通常我们更习惯处理1。注意很多初学者会在这里卡住因为需要将最小项下标或ABCD的取值快速定位到图中某个格子。一个实用的技巧是行和列的格雷码共同确定了一个四位二进制数AB为高两位CD为低两位这个数对应的十进制就是最小项下标。多练习几次就能一眼定位。3. 核心操作“圈地运动”的法则与技巧填好1和0之后化简工作就变成了在卡诺图上将所有填1的格子称为“1格”用矩形圈起来的过程。这个过程的目标是用数量最少、面积最大的矩形圈覆盖所有的“1格”。3.1 “圈”的合法性与对应项圈的形状必须是矩形或正方形。可以是一行、一列、一个2x2的方块、一个4x1的长条甚至对于四变量图整个一行4个格子或整个一列4个格子都是合法的“圈”。五变量及以上还可以跨两张图进行三维的“圈”。圈的大小必须是2的整数次幂个格子1, 2, 4, 8, 16...。1个格子2^0可以圈2个2^1、4个2^2、8个2^3都可以。圈的合并原理圈起2^k个相邻的1格意味着这2^k个最小项可以合并为一项消去k个变量。因为在这些格子中有k个变量的取值在0和1之间变化根据AA1这些变量在合并后的乘积项中被消去了。圈1个格对应一个最小项无法化简包含所有变量。圈2个格消去1个变量。圈4个格消去2个变量。圈8个格消去3个变量。3.2 寻找“质蕴涵项”与“必要质蕴涵项”这是化简到最简的关键思维质蕴涵项一个圈如果它不被任何更大的圈完全包含那么这个圈就是一个质蕴涵项。换句话说你无法再扩大这个圈去覆盖更多有效的1格不能包含0格。必要质蕴涵项如果一个质蕴涵项包含了某个“仅被它覆盖的1格”即这个1格不在其他任何质蕴涵项中那么这个质蕴涵项就是“必要”的它必须出现在最终的最简表达式中。化简步骤可以系统化为先找所有可能的质蕴涵项尝试用尽可能大的合法矩形去圈1格确保每个圈都是“极大”的。识别必要质蕴涵项检查是否有“孤独”的1格只存在于某一个质蕴涵项中。包含这种格子的质蕴涵项必须被选中。选择性覆盖剩余1格被必要质蕴涵项覆盖的1格可以打勾忽略。对于剩下的未被覆盖的1格从剩下的质蕴涵项中选择一组数量最少的组合将它们全部覆盖。3.3 那些容易踩坑的细节与技巧循环相邻性卡诺图是一个“循环”的平面。最左边一列和最右边一列是相邻的最上面一行和最下面一行也是相邻的。想象把图卷成一个筒。这是圈出大矩形如4x1的长条的关键。“无关项”的处理在实际逻辑问题中某些输入组合永远不会出现或者出现时输出是0是1都无所谓。这些组合对应的最小项称为“无关项”在卡诺图中用“X”或“d”表示。“无关项”是化简时强大的“万能牌”。你可以根据需要灵活地将它们当作1或0目的是帮助你画出更大、更少的圈。通常我们会把能帮助形成更大质蕴涵项的无关项看作1。圈的重叠是允许的一个1格可以被多个圈覆盖。这不会影响逻辑的正确性因为A A A但可能会影响表达式是否最简。我们的目标是覆盖所有1格而不是每个1格只被圈一次。避免“冗余圈”如果一个圈里的所有1格都已经被其他选中的圈覆盖了那么这个圈就是冗余的不应该出现在最终表达式里。检查冗余是得到最简式的最后一步。4. 从图形回到表达式写最简与或式圈好圈之后如何写出化简后的逻辑表达式呢规则很简单每一个圈对应一个乘积项与项将所有圈对应的乘积项相加或起来就得到最简与或式。为每个圈写出乘积项的规则观察这个圈覆盖的区域哪些变量的取值在整个圈内发生了变化既有0也有1这些变量将被消去。哪些变量的取值在整个圈内是恒定不变的全为0或全为1这些变量将保留在乘积项中。如果变量取值为1则保留原变量如A如果取值为0则保留其反变量如A’。举例在四变量卡诺图变量A,B,C,D中如果你圈了一个位于最上面一行AB00的四个格子一个横条。观察A和B在这个圈内A和B始终为0所以保留 AB。C和D在这个圈内C和D从00变到01变到11变到10全部情况都出现了意味着C和D被消去。因此这个圈对应的乘积项就是AB。再举一个2x2方块的例子圈了四个格子对应的行是AB01和11对应的列是CD01和11。观察变量A在AB01和11中A有0有1变化消去。变量B在AB01和11中B始终为1所以保留B。变量C在CD01和11中C有0有1变化消去。变量D在CD01和11中D始终为1所以保留D。因此这个圈对应的乘积项就是BD。将所有圈对应的乘积项用“”连接起来就得到了最简与或表达式。5. 实战演练手把手化简一个四变量函数光说不练假把式。假设我们有一个逻辑函数其最小项表达式为F(A, B, C, D) Σm(0, 2, 5, 6, 7, 8, 10, 12, 13, 15)。我们用卡诺图来化简它。步骤1画出四变量卡诺图并标注画一个4x4的格子。行变量为AB按格雷码顺序从上到下标注00, 01, 11, 10。列变量为CD按格雷码顺序从左到右标注00, 01, 11, 10。步骤2根据最小项下标填入1将下标转换为二进制对应AB, CD即可定位。m0: 0000 - AB00, CD00 - 左上角格子填1。m2: 0010 - AB00, CD10 - 第一行第三列填1。m5: 0101 - AB01, CD01 - 第二行第二列填1。m6: 0110 - AB01, CD10 - 第二行第三列填1。m7: 0111 - AB01, CD11 - 第二行第四列填1。m8: 1000 - AB10, CD00 - 第四行第一列填1。m10:1010 - AB10, CD10 - 第四行第三列填1。m12:1100 - AB11, CD00 - 第三行第一列填1。m13:1101 - AB11, CD01 - 第三行第二列填1。m15:1111 - AB11, CD11 - 第三行第四列填1。 其余格子填0或留空。步骤3圈出所有质蕴涵项现在面对这10个1格开始“圈地”。找4格圈观察m5, m7, m13, m15。它们构成一个2x2方块吗检查位置m5(01,01), m7(01,11), m13(11,01), m15(11,11)。是的它们正好构成一个方块AB列在01和11CD行在01和11。这个圈可以消去A和C得到BD。观察m6和m7。它们能和谁组成4格m6(01,10), m7(01,11)。再看同一列下面的m13(11,01)? 不对CD不同。看m14? 但m14是0。所以这里可能先考虑2格圈。换个角度看m12(11,00)和m13(11,01)。它们能和谁组成4格看同一行的m14(11,10)和m15(11,11)? m14是0m15是1。所以m12, m13, m15加上m14但m14是0不能圈。所以这里可能也是一个2格圈。利用循环相邻性看最左边一列m0(00,00), m8(10,00), m12(11,00)。还有m4(01,00)是0。所以这一列只有三个1不能组成4格但可以组成一个“L”形的2格组合不我们要找矩形。实际上m0和m8是上下相邻吗AB从00变到10只有B相同不对A和B都变了。所以不相邻。这里新手容易乱我们系统性地来。更稳妥的方法是先找明显的圈1覆盖 m5, m7, m13, m15 - 乘积项 BD。圈2覆盖 m6, m7 - 这是一个2格圈水平相邻但注意m7已经被圈1覆盖了。我们看看有没有更大的可能。m6(01,10)和m14(11,10)? m14是0。所以这个2格圈是质蕴涵项吗检查能否扩大向上m2(00,10)是1可以m2, m6, m10? m10(10,10)是1再看m14是0。所以我们可以圈一个4格圈覆盖 m2(00,10), m6(01,10), m10(10,10), m14(11,10)? 停m14是0不能圈。所以只能圈m2, m6, m10这三个不在一条直线也不是矩形。所以m2, m6, m10这三个点有什么几何关系它们在卡诺图上的位置m2(00,10)第一行第三列m6(01,10)第二行第三列m10(10,10)第四行第三列。它们都在CD10这一列上但是第二行AB11的CD10即m14是0。所以这一列只有三个1。不能构成4格矩形。因此对于m2, m6, m10我们最多只能两两相圈。但有没有一种可能我们圈一个覆盖m2和m10的圈它们一个在最上一行一个在最下一行是循环相邻的而且它们都是CD10。AB从00变到10只有B变了检查AB: 00-10A和B都变了00和10第一位A从0变1第二位B从0变0不对B都是0。哦AB00和10B都是0A从0变1。所以只有A变化了。因此m2和m10是相邻的循环相邻可以圈一个2格圈消去A得到 BC D因为AB: B0所以BCD10所以C1, D0即C D。同样m6和m10呢m6(01,10)和m10(10,10)。AB从01变到10A和B都变了01-10A:0-1, B:1-0。都变了所以不相邻。那么m2和m6呢m2(00,10)和m6(01,10)。AB从00变到01只有B变了A0不变所以相邻。可以圈一个2格圈消去B得到 AC DA0所以ACD10所以C D。现在我们有圈1(BD)覆盖了m5,m7,m13,m15。m2,m6,m10还没被覆盖。我们可以用两个2格圈覆盖它们圈3覆盖m2和m6AC D圈4覆盖m2和m10BC D。但这样m2被覆盖了两次而且我们用了两个圈。有没有更好的办法观察m0, m2, m8, m10。它们的位置m0(00,00), m2(00,10), m8(10,00), m10(10,10)。这是一个“四角”分布在卡诺图上四个角格是相邻的循环相邻性在水平和垂直方向同时作用。它们可以构成一个2x2的圈吗在几何上它们并不直接形成一个连续的矩形。但实际上在卡诺图中四个角格m0, m2, m8, m10是相邻的可以合并。因为m0和m2同行相邻m8和m10同行相邻同时m0和m8循环上下相邻m2和m10循环上下相邻。这四格合并可以消去A和B我们来验证这四格A和B的取值分别是00, 00, 10, 10。A有0有1B有0有1所以A和B都被消去。C和D的取值分别是00, 10, 00, 10。C始终为0D有0有1。所以D被消去保留C。因此这个“四角圈”对应的乘积项是C。太棒了这个圈覆盖了m0, m2, m8, m10。现在盘点圈A四角圈覆盖 m0, m2, m8, m10 - 乘积项 C圈B方块圈覆盖 m5, m7, m13, m15 - 乘积项 BD现在还剩下的1格有m6, m12, m13, m15? m13和m15已被圈B覆盖。m12和m6未被覆盖。处理m12(11,00)它相邻的有m8(10,00)和m13(11,01)和m14(11,10)? m14是0。m8已被圈A覆盖但m8是1。我们可以尝试圈m8和m12它们上下相邻AB从10变到11只有A变了10-11A:1-1?不对A都是1B从0变1。所以只有B变了。可以圈一个2格圈消去B得到 A C DA1所以ACD00所以C D。但m8已经被圈A覆盖了我们是否需要单独为m12画圈检查m12是否被其他圈覆盖圈A覆盖的是C包含CD00的列但AB必须是什么圈A对应的是C意味着无论A,B,D取何值只要C0。所以当AB11, CD00时C0满足条件。因此m12(1100)已经被圈AC覆盖了因为C项包含了所有C0的情况无论A,B,D是什么。所以m12不用再单独圈。最后处理m6(01,10)它相邻的有m2(00,10), m7(01,11), m4(01,00), m14(11,10)。其中m2已被圈A覆盖m7已被圈B覆盖m4和m14是0。所以m6是一个“孤独”的1格吗不它和m2相邻但m2已在圈A中。圈AC能覆盖m6吗m6的CD10C1所以不满足C。圈BBD能覆盖m6吗m6的B1, D0不满足BD需要B1且D1。所以m6没有被任何现有的圈覆盖。我们必须为它单独画圈。它可以和谁圈只能和m2或m7组成2格圈。m7已被圈B覆盖且m6和m7组成的项ABC?不如和m2组成的项简单。m6和m2组成圈AB从01变到00只有B变了CD10不变。所以消去B得到 AC D。步骤4写出最简表达式我们最终选中的圈是圈A四角圈C圈B方块圈BD圈Cm6和m2AC D 注意m2已被圈A覆盖但圈C仍然需要以保证m6被覆盖这是允许的重叠因此最简与或式为F C BD AC D你可以用公式法验证一下这个结果会发现它确实比原始的最小项之和简洁得多。通过这个详细的推演过程你应该能体会到卡诺图如何一步步引导我们找到最简解尤其是发现“四角圈”这种不太直观的合并正是卡诺图威力的体现。6. 不止于与或式卡诺图的其他应用与局限卡诺图的主要产出是最简与或式但它还能做更多。求最简或与式我们之前圈的是“1格”得到的是“积之和”。如果想得到“和之积”形式可以圈“0格”。圈0格的规则完全相同但写出的每个圈对应一个“和项”或项最后将这些和项相乘。圈0格得到的是F的最简与或式再取反并用摩根定理转换即可得到F的最简或与式。有时圈0格可能得到更简单的电路特别当0的个数远少于1时。逻辑函数运算在卡诺图上可以直接进行函数的与、或、非运算。例如求F·G可以将F和G的卡诺图对应格子相乘与运算求FG则对应格子相加或运算。这比代数运算更直观。检查逻辑关系通过观察卡诺图可以一眼看出两个函数是否相等、是否互补、是否存在蕴含关系等。当然卡诺图也有其局限变量限制超过5个变量后卡诺图会变得非常复杂32格、64格...三维甚至四维的“相邻性”难以在平面上直观表示此时其优势减弱通常需要借助计算机辅助的奎因-麦克拉斯基算法。依赖人工技巧虽然比公式法系统但在圈选质蕴涵项和选择覆盖时仍需要一定的经验和技巧尤其是处理多个非必要质蕴涵项时可能存在多种最简解需要人工比较选择。7. 我的实操心得如何高效利用卡诺图最后分享几点我在学习和使用卡诺图过程中的体会这些在教科书里不一定强调先找“大圈”再顾“小圈”这是最高效的原则。一上来就先寻找能圈8个、4个格子的机会尤其是利用循环相邻性找那些跨边界的圈。大圈意味着消去的变量多得到的乘积项简单。处理完所有可能的大圈后再去覆盖那些散落的、未被覆盖的1格。“无关项”是朋友要大胆用遇到带有无关项的函数先别管它。在圈1格时优先把无关项当作1看它能否帮助你形成一个更大的圈。只有当它妨碍你圈大圈比如让它为1会导致圈里混入0格时才把它当作0。无关项能极大简化结果。养成“交叉验证”习惯圈完后不要急着写答案。随机选几个原始函数中为1的最小项代入你化简后的表达式看看结果是否为1再选几个为0的最小项代入看看是否为0。这是快速检验化简正确性的好方法。理解“圈”的物理意义每一个圈对应电路中的一个与门。圈越大与门的输入端越少。最终表达式的项数对应或门的输入端数。化简的目标就是减少与门的数量和每个与门的输入端数这在TTL芯片时代是为了节省成本在FPGA设计中则是为了优化查找表资源。面对多解情况有时会存在多个同样最简的表达式。如果只是理论化简任选一个即可。如果是实际电路设计可能需要考虑其他因素例如是否共用某些乘积项、信号的驱动能力、门电路的扇入扇出限制等此时可以基于卡诺图上的不同覆盖方案进行权衡。卡诺图是数字逻辑设计的基石工具之一。熟练掌握它不仅能让你在考试和作业中游刃有余更能帮你建立起对逻辑函数化简的直觉。当你看到一堆1和0的分布能立刻在脑中勾勒出合并的图案时你就真正掌握了这门图形化的艺术。 
