第2章节 逻辑代数基础 2.pptVIP

2005年3月 2.6 逻辑函数的化简方法 2.6.1 逻辑函数的最简形式 同一个逻辑函数可以写成不同形式的逻辑式，逻辑函数式越简单，它所表示的逻辑关系越明显，也有利于用最少的电子器件实现这个逻辑函数。 逻辑函数的八种表达式： “或－与非”式：例 2.6.2 公式化简法 用基本公式和常用公式消去多余的逻辑变量和多余的与项和或项。 2.吸收法： 利用公式：　　　　　　消去AB项。 利用公式：　　　　　　，消去因子 。  逻辑函数表示方法有真值表、逻辑表达式、逻辑图、波形图和卡诺图。 一、表示最小项的卡诺图: 任一逻辑函数均可写成 最小项之和形式： 卡诺图：将n变量的全部最小项各用一个小方块表示，并使具有逻辑相邻性的最小项在几何位置上也相邻的排列起来，所得到的图形叫做n变量最小项的卡诺图。 逻辑函数的卡诺图是一个特定的方格图。图中的每一个小方格代表了逻辑函数的一个最小项，且任意两个相邻小方格所代表的最小项只有一个变量不同。 ① 二变量 卡诺图 ③四变量卡诺图： 五变量卡诺图及单元格的编号: CDE AB 二、用卡诺图表示逻辑函数： 真值表?卡诺图 三、 用卡诺图化简逻辑函数 在卡诺图中，凡几何相邻的小方格（紧邻的小方格或与轴线对称的小方格）都具有逻辑相邻性，它们之间只有一个变量不同，可圈在一起，利用 进行合并。 2.7 具有无关项的逻辑函数及其化简 2.7.1 约束项，任意项和逻辑函数式中的无关项 以上所讨论的逻辑函数，其函数值是完全确定的1或0， 然而在分析某些具体的逻辑函数时，经常会遇到这样的情况： ① 由于外部条件的限制，输入变量的某些组合不会出现，即不允许出现或不可能出现； ② 电路输入变量的某些组合值对输出没有影响。 第①种情况中，把对输入变量取值的限制称为约束，把这些组变量取值组合对应的最小项称为约束项。 第②种情况中，把这些组变量取值组合对应的最小项称为任意项。 例如：A,B,C三个逻辑变量，A=1表示电动机正转，B=1表示它反转，C=1表示停止。 通常用约束条件来描述约束的具体内容，上例中约束条件可表示为： 由于约束项的值始终等于0，所以既可以把约束项写进函数式中，也可以把约束项从函数式中删掉，而不影响函数值。同样，既可以把任意项写入函数式中，也可以不写进去，因为输入变量的取值使任意项为1时，函数值是1还是0无所谓。 因此，我们把约束项和任意项统称为逻辑函数式中的无关项。 约束项的表示方法： 1、在函数式中用约束条件来表示； 2、在真值表中用×（或ф）来表示； 3、在卡诺图中用×（或ф）来表示； 如上例： 例如：A,B,C三个逻辑变量，A=1表示正在写作业A，B=1表示正在写作业B ，C=1表示正在写作业C 。 ABC只能取值000，001，010，100，而其余最小项为约束项。 例如：三八妇女节看电影，票只能发给本单位的女职工。 A,B,C三个逻辑变量，A=1表示本单位，B=1表示女职工，C=1表示有票 。结果Y，Y=1表示能入场看电影。 2.7.2 具有无关项的逻辑函数的化简 在卡诺图中，究竟将×作为1（即认为函数式中包含有这个最小项）还是作为0（即认为函数式中不包含这个最小项）对待，原则上，应以得到的相邻最小项矩形组合最大，而且矩形组合数目最少为原则。 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 Y C B A 约束项 约束项的值为0 ABC只能取值001,010，100，而其余最小项则为约束项。 或写成： m0+m3+m5+m6+m7=0 m0+m3+m5+m6+m7=0 × 1 1 1 × 0 1 1 × 1 0 1 0 0 1 × 1 1 0 0 1 0 1 0 0 × 0 0 0 Y C B A BC A × × × 1 × × 0 10 11 01 00 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 Y C B A 约束项 约束项的值为0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 Y C B A 0 1 1 × 1 × × × 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 Y C B A 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 Y C B A × 1 0 1 × 1 1 0 × 1 0 0 Y C B A 可能的取值组合 约束项 0 × 0 × 0 × 0 1 × 1 1 1 × 0 1 1 × 1 0