第2章-逻辑代数基础.ppt

二、用卡诺图化简逻辑函数 3、卡诺图化简举例 ⑴、化简函数为最简“与—或”式 化简后得： ４　　 ５　　 ７　　 ６ 1 1 1 1 1 CD AB 00 01 11 10 00 01 11 10 ０　　 １　　 ３　 　２ 12　 １3　 　15　 　14 ８　　 ９　　 11　 　10 1 1 1 1 1 ②、化简函数式 2.6　逻辑函数的化简方法2.6.3　卡诺图化简法 二、用卡诺图化简逻辑函数 3、卡诺图化简举例 ⑴、化简函数为最简“与—或”式（圈“１”） 化简后得： ③、化简函数式 BC A 00 01 11 10 1 1 0 1 1 1 1 1 或 　　显然化简结果不是唯一的， 圈法不同，其结果也就不同。 2.6　逻辑函数的化简方法2.6.3　卡诺图化简法 二、用卡诺图化简逻辑函数 3、卡诺图化简举例 ⑵、化简函数为最简“与或非”式（圈“０”） 　　化简函数式 化简后得： 1 １ 0 0 １ 1 1 １ １ 1 1 0 0 0 0 0 CD AB 00 01 11 10 00 01 11 10 反函数最简“与—或”表达式为： 原函数最简“与或非”表达式为： 2.6　逻辑函数的化简方法2.6.3　卡诺图化简法 两点说明： 　　① 在有些情况下，最小项的圈法不只一种，得到的各个乘积项组成的与或表达式各不相同，哪个是最简的，要经过比较、检查才能确定。 ＡＣＤ ＋ＢＣＤ＋ＡＢＣ ＋ＡＤ 不是最简 ＢＣＤ ＋ＡＢＣ ＋ＡＤ 最简 　　② 在有些情况下，不同圈法得到的与或表达式都是最简形式。即一个函数的最简与或表达式不是唯一的。 ＡＣ ＋ＡＢＤ ＋ＡＢＣ＋ＢＣＤ ＡＣ ＋ＡＢＤ ＋ＡＢＣ＋ＡＢＤ 1 1 1 0 0 0 0 0 0 0 0 CD AB 00 01 11 10 00 01 11 10 1 1 1 1 1 2.6　逻辑函数的化简方法2.6.4　具有无关项的逻辑函数及其化简 一、约束项、任意项和逻辑函数式中的 　无关项 １、约束、约束条件和约束项 ⑴、约束 　　定义：对输入变量取值所加的限制 称为约束，同时把这一组变量称为具有 约束的一组变量。 例： 　　　 　电动机 A=1表示电动机正转，B=1表示电动机反转， C=1表示电动机停止。 则：A=1时，必须B=0、C=0 　　B=1时，必须A=0、C=0 　　C=1时，必须A=0、B=0 表示正转、反转和停止工作状态的逻辑函数可写成 电动机任何时候只能执行且必须执行其中 的一个指令，所以不允许两个或两个以上的变 量同时为1，∴ABC的取值不能是000、011、 101、110、111中的任何一种。 即 逻辑变量A、B、C之间互相制约， 　　取值有限制，这就是约束。 例： 　　　　四叉路口的交通灯 A=1表示绿灯亮，B=1表示黄灯亮，C=1表示红灯亮。 则：A=1时，必须B=0、C=0 　　B=1时，必须A=0、C=0 　　C=1时，必须A=0、B=0 即 逻辑变量A、B、C之间互相制约， 　　取值有限制，这就是约束。 一、约束项、任意项和逻辑函数的　　　无关项 １、约束、约束条件和约束项 ⑵、约束条件 　　定义：用与描述约束的具体内容，称 为约束条件。 2.6　逻辑函数的化简方法2.6.4　具有无关项的逻辑函数及其化简 　　　 　电动机 A=1表示电动机正转，B=1表示电动机反转， C=1表示电动机停止。 则：A=1时，必须B=0、C=0 　　B=1时，必须A=0、C=0 　　C=1时，必须A=0、B=0 ABC的取值不能是000、011、101、110、111 中的任何一种。 例： 根据约束关系，其约束条件可以表示为： 或写成： 例： 四叉路口的交通灯 A=1表示绿灯亮，B=1表示黄灯亮，C=1表示红灯亮。 则：A=1时，必须B=0、C=0 　　B=1时，必须A=0、C=0 　　C=1时，必须A=0、B=0 即 逻辑变量A、B、C之间互相制约， 　　取值有限制，这就是约束。 根据约束关系，其约束条件可以表示为： AB=0 BC=0　 AC=0 或写成：　　AB+BC+AC=0 一、约束项、任意项和逻辑函数的 无关项 １、约束、约束条件和约