数电课件第1章数字逻辑基础.pptVIP

强调一一对应的关系！ 更多变量K图形式原来如书上所述为gray码，判断相邻方法和4变量K图相同（对称轴折叠重合，且重合的格子数量为2的n次幂）；而新的为重叠K图（overlay），重叠K图的构图相当于多个4变量K的组合，判断不同4变量K图相邻的方法不同，不是对称重叠；而是叠压重叠（4变量K图内部判断相邻方法依旧），详见/vol_4/chpt_8/11.html。 2012.4.25 在黑板上写例子过程。任意项的定义说明参考论文“数字电路中任意项,约束项,无关项的探讨”，我倾向于是任意项是定义的可以出现的最小项，但其对应的函数值可以为1或0，对功能没有影响。如七段译码器逻辑中69的译码函数的a段和d段函数应用的最小项就可以认为任意项2009.3.16记。任意项可以说明函数具有多态性，如数码管显示的6，是否有a段都可以当作“6”，即6具有多态性。2012.5.2修正 公式8、17和9可以结合集合中的交并补运算进行补充说明。2012.8.27 有链接 最小项之SOP—Sum Of Product和或者最大项之积POS—Product Of Sum的形式，使用哪种形式原因之一，看其表达式是否更简单，有的函数SOP形式简单，但有的则是POS形式简单。2012.4.25记录 并且，任意项的存在使逻辑函数和数学上函数定义发生矛盾。数学上任一输入变量取值有唯一的输出对应，但对于任意项对应的输出是2个，而不是1个了。2012.9.2 可以用True和False说明（在黑板上进行），与=和，不过用“并且”更贴切2013.3.18 (1)已知真值表 1 0 10 11 01 00 A BC 由于函数值只有0，1两种取值，故可将0省略。 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 Y A B C = 1 0 10 11 01 00 A BC 1 1 1 1 2.用卡诺图表示逻辑函数 显然，只要在每个小方格里填上函数值（0或1）即可。 1)当已知最小项标准形式时，与1中情况相同。如: Y = m3+m5+m6+m7 2)当已知一般与或式时，可将其化成最小项标准形式。如： Y=AB+AC+BC =AB(C+C)+AC(B+B)+BC (A+A) =ABC+ABC+ABC+ABC =ABC+ABC+ABC+ABC 也可直接将每个与项填进卡诺图： 与项AB填入A、B都等于1的方格,即6号和7号最小项。 少1个变量的与项，在卡诺图上占2个相邻的小方格。 (2)已知函数式 1 0 10 11 01 00 A BC 1 1 1 1 10 11 01 00 10 11 01 00 AB CD 我们在四变量卡诺图上作进一步研究。 1 1 1 1 与项AB少两个变量，用AB(C+C)(D+D)方法可得，它包含4个最小项，编号是12，13，14，15，它们组成一个矩形。 1 1 1 1 与项A少3个变量，用A(B+B)(C+C)(D+D)方法可得，它包含8个最小项，编号是8，9，10，11，12，13，14，15，它们组成一个矩形。 结论:与项少n个变量，在卡诺图上占2n个的小方格，且组成矩形！ 其相反的过程不就是“化简”吗？！ 3.用卡诺图化简逻辑函数——图形法化简 1）合并最小项的规律 10 11 01 00 10 11 01 00 AB CD 1 1 1 1 1 1 1 1 与项少n个变量，在卡诺图上占2n个的小方格，且组成矩形。 反过来用： 卡诺图合并组成矩形的2n或N个小方格，得到的与项少n个变量。 红框合并2个最小项，对应与项ABC, 相对于最小项少1(n)个变量 篮（绿）框合并4个最小项，对应与项AB（AC）少2(n)个变量。 紫框合并8个最小项，对应与项A少3(n)个变量。 几何相邻和逻辑相邻一致！ 相邻的原则：以红或蓝色边为对称轴，折叠表格；能够重叠，并且重叠的最小项/方格的个数为2的n次幂，那么它们相邻的。并且，可以多次重叠！ 10 11 01 00 10 11 01 00 AB CD m0 m1 m3 m2 m6 m7 m5 m4 m12 m13 m15 m14 m10 m11 m9 m8 10 11 01 00 10 11 01 00 AB CD 1 1 1 1 1 1 图中黑框对应与项ABD。 图中篮框对应与项AD。 图中红框对应与项BD。 1 1 图中紫框对应与项 D。 (1) 在包含所有最小项的前提下，“圈”越少越好 化简的原则是： (2) 在每个圈中包含的最小项个数为2n个的前提下，圈越大越好 (3) 每个圈至少要包含一个