数字逻辑课程教学中卡诺图方法.docVIP

数字逻辑课程教学中卡诺图方法 　　【摘要】 卡诺图方法是贯穿《数字逻辑》课程的一种重要的分析方法，在教学中应从卡诺图作为逻辑函数的几何表达方式，其化简方法与代数化简方法在本质上的一致性出发，分析二者的内在联系，介绍其在各种实际应用中所表现出来的独特的优势，加深学生对卡诺图本质的理解，增强教学效果。 　　【关键词】 课程教学；卡诺图方法 　　【中图分类号】：G642.4【文献标识码】：Ｅ 【文章编号】：1009-9646(2008)04-0163-02 　　 　　《数字逻辑》是理工科大学计算机专业的一门重要的基础课，卡诺图（Karnaugh Map）方法则是贯穿这门课程的一种重要的分析方法，具有简单、直观、容易掌握等特点。在传统的《数字逻辑》课程教学中，一般仅仅将卡诺图作为一种逻辑函数化简的方法来讲授，突出其作为代数化简方法的有用的补充，着重介绍逻辑函数在卡诺图上的表示、卡诺图上最小项的合并规律以及用卡诺图化简逻辑函数的步骤，而忽略了卡诺图作为逻辑函数的几何表达方式，其化简方法与代数化简方法在本质上的内在联系，以及卡诺图作为几何表达方式在各种实际应用中所表现出来的独特的优势。本文讨论如何以新的方式从以上两个方面对这一传统的方法进行教学。 　　 　　1 卡诺图的构成 　　 　　卡诺图是一种平面方格图，n个变量的卡诺图由2??n个小方格构成，可以将卡诺图看成是逻辑函数的几何表达方式，用二维图形中的2??n个小方格的坐标值给出变量的2??n种取值，每个小方格与一个最小项对应。逻辑函数可以表示为最小项之和的形式是卡诺图方法的理论基础，用卡诺图方法化简逻辑函数的基本操作就是将相邻小方格圈在一起进行合并（卡诺圈）。卡诺图中的最小项的排列方案不是唯一的，但任何一种排列方案都必须满足最小项的相邻关系，即相邻的两个最小项彼此只有一个变量不同[1]。在n变量的卡诺图上，每个小方格具有n个相邻的小方格，它们分别是具有共同边界的小方格（几何相邻），同一卡诺图中分别处于行（列）两端的小方格（相对相邻）和相邻卡诺图中处于相同位置的小方格（重叠相邻）。图1所示为一种5变量卡诺图，可以表示任意5变量的逻辑函数，图中变量的坐标值0表示相应变量的反变量，1表示相应变量的原变量，各小方格依变量顺序取坐标值，得到的二进制数所对应的十进制数即为相应最小项m??i的下标。为了方便，卡诺图中经常省略了符号m，直接标出m的下标i。卡诺图上变量的排列规律使最小项的相邻关系能在图形上清晰地反映出来，如图1所示，最小项m????15??（对应A-BCDE）有5个相邻的最小项，其中最小项m??7（对应A-B-CDE），m????11??（对应 　　 　　2 卡诺图化简法与代数化简法的本质联系 　　 　　卡诺图从几何上直观地反映了最小项的相邻关系，用卡诺图化简逻辑函数的基本原理就是将逻辑代数的公理和定理以几何的方式映射到卡诺图中，将逻辑依据和几何特征结合起来，完成逻辑代数方法的几何表达，通过把卡诺图上表征相邻最小项的相邻小方格圈在一个卡诺圈内进行合并，实现用一个简单的与项代替若干最小项的功能。 　　 　　卡诺图化简法与代数化简法的内在联系首先表现在卡诺图的自身的构成的特点与逻辑代数公理系统的一致性。逻辑代数的公理系统包括五个公理：交换律、结合律、分配律、0-1律和互补律，它们在卡诺图中能够自然地被满足，下面分别予以说明。因为卡诺圈中的最小项在合并的过程中没有先后和优先级的区别，运算的结果对应着合并后的卡诺圈，所以交换律A+B=B+A和结合律（A+B）+C=A+(B+C)自然成立。对于分配律A#8226;（B+C）=A#8226;B+A#8226;C，如图2所示，其中变量 在卡诺图上对应着{m??2,m??6,m??1,m??3,m??7,m??5}，变量A对应着{m??6,m??4,m??7,m??5}，所以A#8226;(B+C)对应着二者的交集{m??6,m??7,m??5}；另一方面，A#8226;B对应着{m??6,m??7,}，A#8226;C对应着{m??7,m??5}，所以A#8226;B+A#8226;C对应着二者的并集{m??6,m??7,m??5}，可见分配律在卡诺图上也自然成立。同样地，可以知道0-1律（A+0=A,A#8226;1=A，）和互补律（A+A-=1），以及以上公理的对偶式在卡诺图上也一样成立。 　　 　　卡诺图化简法与代数化简法的内在联系还表现在用卡诺图方法对逻辑函数进行化简的过程实际上就是自觉地运用逻辑代数的各种公理和定理的过程。下面以合并律、消去律和多余项定理为例，说明把卡诺图上表征相邻最小项的相邻小方格圈在一个卡诺圈内进行合并的操作（实现用一个简单的与项代替若干最小项），实际上是这些定理的在卡诺图上的表达过程