40 数字逻辑(第三版)
图 2-7(a)中,只有一个最小项 m0,所以单独画圈,也就是说该函数已经是最简;
图 2-7(b)中,最小项 m1 和 m3 几何相邻,可以画圈合并,即 m m AB AB B 1 3 + =+= ;
图 2-7(c)中,最小项 m0 和 m1 几何相邻,可以画圈合并,即 m m AB AB A 0 1 + = += ;
图 2-7(d)中,最小项 m1 和 m0 几何相邻,可以画圈合并,同时最小项 m1和 m3几何相邻,
也可以画圈合并,即 ( )( ) m m m m AB 10 13 + + + =+ ;
图 2-7(e)中,所有 4 个最小项都相邻,可以画圈合并,即 mmmm 0123 + ++=1。
根据上述讨论,可以发现任意 2(21
)个相邻 1 方格合并可以消去一个变量。
(2)三变量卡诺图的典型卡诺圈
三变量卡诺图的典型卡诺圈除了以上二变量典型卡诺圈的情形外,还具有图 2-8 所示的一些
典型卡诺圈。
AB
C 00 01 11 10
AB
C 00 01 11 10
AB
C 00 01 11 10
0 1 0 0 1 0 1 0 0 1 0 1 1 1 1
1 0 0 0 0 1 1 0 0 1 1 0 0 0 0
(a) (b) (c)
AB
C 00 01 11 10
AB
C 00 01 11 10
AB
C 00 01 11 10
0 1 1 1 1 0 1 1 1 1 0 1 1 1 1
1 0 1 0 0 1 0 1 1 0 1 1 1 1 0
(d) (e) (f)
AB
C 00 01 11 10
AB
C 00 01 11 10
AB
C 00 01 11 10
0 1 0 0 1 0
1 0 0 1 0 1 1 1 1
1 1 1 1 1 1 0 1 1 0 1 1 1 1 1
(g) (h) (i)
图 2-8 三变量典型卡诺圈
图 2-8(a)中,最小项 m0 和 m4 相对相邻,可以画圈合并,即
m m ABC ABC BC 0 4 += + =
图 2-8(b)中,最小项 m0 和 m1 几何相邻又与 m4、m5 相对相邻,可以画圈合并,即
( )( ) m m m m AB AB B 01 45 ++ + =+=
图 2-8(c)中,最小项 m0、m2、m6 和 m4 处于一行为几何相邻,可以画圈合并,即
m m m m ABC ABC ABC ABC C 0264 + ++= + + + =