第二节逻辑代数基础大学机械.pptVIP

例4：已知函数： 求其最简与或式 01 00 01 11 10 00 11 10 CD AB 解： ? 填函数的卡诺图 1 1 1 1 1 1 1 ? ? ? ? 0 0 0 0 0 ? 化简 不考虑约束条件时： 考虑约束条件时： 01 00 01 11 10 00 11 10 CD AB 1 1 1 1 1 1 1 ? ? ? ? 0 0 0 0 0 K 图 的 特 点 图形法化简函数 ? k图为方形图。n个变量的函数--k图有2n个小方格，分别对应2n个最小项； ? k图中行、列两组变量取值按循环码规律排列，使变量各最小项之间具有逻辑相邻性。 上下左右几何相邻的方格内，只有一个因子不同 ? 有三种相邻关系：相邻、相对（行列两端）和相重（图中以0、1分割线为对称轴）方格均属相邻 00 01 11 10 00 01 11 10 m0 m1 m2 m3 m4 m5 m6 m7 m12 m13 m14 m15 m8 m9 m10 m11 AB CD 四 变 量 K 图 两个相邻格圈在一起，结果消去一个变量 ABD AD A 1 四个相邻格圈在一起，结果消去两个变量 八个相邻格圈在一起，结果消去三个变量 十六个相邻格圈在一起，结果?mi=1 卡诺图化简函数规则： ? 几何相邻的2i（i = 1、2、3…n）个小格可合并在一起构成正方形或矩形圈，