§3.2 函数化简.pptVIP

* * 3.2.1 代数化简法 1. 化简原理 2. 化简方法 ① 并项 反复使用基本公式和常用公式，消去函数表达式中的多余项和多余因子。 AB+AB=A ② 吸收 A+AB=A ③ 消因子 A+AB=A+B §3.2 逻辑函数的化简 ⑤ 配项 A+A=1 A+A=A AB+AC+BC=AB+AC ④ 消项 举例： 例：化简逻辑函数： 一、卡诺图的构成和特点 1. 卡诺图 3.2.2 卡诺图化简法 （K图） 2. 卡诺图构成原则 3. 卡诺图特点 用几何相邻反映逻辑相邻 AB CD 00 00 01 11 10 10 01 11 AB CDE 00 01 11 10 001 000 011 010 110 111 101 100 10 BC A 0 1 00 01 11 m0 m1 m3 m2 m4 m5 m7 m6 M4 M5 M7 M6 M0 M1 M3 M2 M8 M9 M11 M10 M12 M13 M15 M14 二、函数移植 1. 真值表?K图 2. 标准型?K图 3. 一般式?K图 与项覆盖最小项规律： n变量函数，每个最小项应包含全部n个变量。 若与项中缺少1个变量，则此与项应包含2个最小项，K图中有相应的2个方格填1。 若与项中缺少i个变量，则此与项应包含2i个最小项，K图中有相应的2i个方格填1。 例1：F=A+B，已知真值表，画K图。 例2：F=A+B= ?m(2,3,4,5,6,7)，画K图。 例3：F=(A+B+C+D)(A+B+C+D)(A+B+C+D) (A+B+C+D)(A+B+C+D)，画K图。 三、最小项合并规律 2m个排列成方阵或矩阵且镜像对称的1方格(最小项)可以合并为一与项，保留取值相同的变量，消去取值相异的变量。 AB CD 00 00 01 11 10 10 01 11 1 1 1 1 1 1 1 1 2个方格合并情况例 AB CD 00 00 01 11 10 10 01 11 1 1 1 1 1 1 1 1 1 1 4个方格合并情况例 AB CD 00 00 01 11 10 10 01 11 1 1 1 1 1 1 1 1 1 1 1 1 8个方格合并情况例 四、K图化简法 1. 将函数化简成最简与或式 圈中所包含的1方格按2k个尽可能扩大； 圈与圈允许部分重叠； 每个圈至少包含一个未被其它圈圈过的1方格； 每个圈组成一个与项，消去取值相异的变量，保留取值相同的变量。1?原变量，0 ?反变量。将所有与项相加，组成最简与或式； 优先处理圈法最少的1方格。 对K图中所有1方格按下述原则画圈合并： K图化简步骤： 填K图 画K圈 写表达式 例1：用K图化简逻辑函数: Y=AC+ABC+ABCD+ABC+ABCD 例2：用K图化简逻辑函数: Y=ABC+ABC+AB+ABC 2. 将函数化简成最简或与式 对K图中所有0方格按下述原则画圈合并： 圈中所包含的0方格按2k个尽可能扩大； 圈与圈允许部分重叠； 每个圈至少包含一个未被其它圈圈过的0方格； 每个圈组成一个或项，消去取值相异的变量，保留取值相同的变量。0 ?原变量, 1 ?反变量。将所有或项相与组成最简或与式； 优先处理圈法最少的0方格。 例3：用K图化简逻辑函数为最简或与式: Y=ABC+ABC+AB+ABC 五、不完全确定逻辑函数的化简 完全确定逻辑函数与不完全确定逻辑函数 输入为8421BCD码，当所代表的十进制数大于4时，输出为1，否则为0。 例： A B C D 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 F 0 0 0 0 0 1 1 1 1 1 约束项 任意项 无关项 2. 无关项的表示方法 ? AB CD 00 00 01 11 10 10 01 11 1 1 1 1 1 ? ? ? ? ? (1) 用?表示 F=?m(5,6,7,8,9) +??(10,11,12,13,14,15) (2) 用约束条件表示 F=?m(5,6,7,8,9) 约束条件： ?m(10,11,12,13,14,15)=0 A B C D 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1