逻辑代数的化简算法概要.docxVIP

逻辑代数的化简算法 观察函数- ~ - ■- : L] { -J 1.该函数有四个逻辑变量，可表示成 Y=f（A、B、C、D） 2.该函数有三个乘积项：第一项上」一丄， 2.该函数有三个乘积项： 第一项上」一丄，有四个因子一一四个变量在乘积项中都出现了。第 O 二项有三个因子一一缺少变量 B （或；）。第三项匚二缺少变量C、D （或’’、: 3.第一个乘积项上丄二【?是a b、C D的一个最小项，其余二项均不是 A、B、C D的最小 项。 最小项：n个逻辑变量 A1、A2、……An组成的逻辑系统中含 n个因子的乘积项一一每个变 量（或门）在乘积项中只出现一次，称这样的乘积项为最小项。 两个逻辑变量 A、B有22 = 4个最小项，分别是: 三个逻辑变量 A、B、C有23= 8个最小项，分别是：二二「、丄「、J〉：、H、丄’ ABC ABC ABC J 一、 一、 。 四个逻辑变量 A、B C D有24= 16个最小项。 练习：写出A、B、C D的十六个最小项。 最小项的性质: （1 ）对变量的任意一组取值，只有一个最小项为 1,其余最小项全为 0。二变量A、B的最 小项为： j、i、-、?*。对A、B的任意一组取值: A=0 B=0几二 A=0 B=0几二=1其余三项全为 0,即 A=0 B=1 -二=1其余三项全为 0 A=1 B=0以=1其余三项全为 0 A=1 B=1 J上=1其余三项全为0 全体最小项之和为 1。(读者自己证明) 任意两个最小项的乘积为 0。 最小项的编号： 三变量A、B、C的八组取值000、001、……111能分别使八个最小项的值为 1，又与十进制 数0,1 7的二进制数表示相同。用 0?7编号八个最小项，记为： m0 m1、m2、m3 m4 m5 m6 m7 贝V m7= m111=肿° , m4= m100=卫丑^ , m0= m000=卫丑° 。 练习：读者试写出四变量 A B C D的十六个最小项 m0 m1??…m15 逻辑函数的最小项之和形式 任何逻辑函数都可化为最小项之和的标准形式 例：将下列函数化为最小项之和的形式 耳-ABC +BC ~ ABC +（A + A}BC - ABC + ABC + ABC =工他g宀〉=工O67） ~ AB + BC（C + D） =AB + BC*CD = AB BC+ CD -心9+6（? 石）+ O 十 A）BC（D+ 万）十（N 十⑷（B+ B}CD =AB CD + ABCD+ ABCD + ABCD + A BCD + A BCD + ABCD + ABCD + A^CD + ABCD + + ABCD =2 （12?13?14,15,6,7,1445,3,7,11,15） =另（316/7」14M） 反函数的最小项之和表示 例：求二变量 A, B的逻辑函数■ ―的反函数厂。 解一: r = AS + AB - aS ?乔=(A + 8)(A + + AB =工(02) 解二：列真值表 A B AB AB j Y=AB+ AB y 0 0 0 0 k 0 i 0 1 1弋 1 1 0 1 0 1 0 0 i 1 0 1 1 0 0 0 1 由真值表写出「的逻辑表达式 Y=AB^AB = ^ (0.3) v Z + ? = 1 = ^(OP1 (k -1)) T ■- (全体最小项之和) 如三变量A,B,C的逻辑函数；—■ ?则必有— 结论：在n个变量的逻辑系统中，如果 Y为i个最小项之和，则 厂必为余下的（n — i）个 最小项之和。 异或运算与同或运算 定义:称A 定义: 称A与B异或, 为异或运算符 八 -A与B同或，人为同或运算符 显然： 异或与同或互为反函数 由此推得: |;|-，征厂一叮： -1.1 ■ ■. - 11 即两者相等为0，不相等为1 同或运算则与之相反，且有 -: - — ■- - -- - U._: - A -- 同学自己证明并牢记。 例1 ?将下列函数化为最简与或式。 = BA^D+ 瓦4 十 D) 二曲+@+燃虫十D) = BC + A^D =BC + AD+AD 例2. A , B的波形如下图所示,试画出二匚二--的波形。 A?EII A?E I I i 最小项的相邻性 任何两个最小项如果他们只有一个因子不同, 小项。其余因子都相同，则称这两个最小项为相邻最 任何两个最小项如果他们只有一个因子不同, 小项。 其余因子都相同，则称这两个最小项为相邻最 显然，mO与ml具有相邻性，而、 「与J- 1 1不相邻，因为他们有两个因子不相 同。m3与m4也不相邻，而 m3与m2相邻。 相邻的两个最小项之和可以合并成一项，并消去一个变量。如： % + % = ABC + ABC = AC 卡诺图 卡诺图是美国