吉大数电课件 第二章节逻辑代数基础.pptVIP

第 二 章逻辑代数基础 数字电路的基础知识 逻辑代数及其运算规则 逻辑函数表示方法 逻辑函数的化简 (A+B)(A′+C)(B+C) = 2.4 逻辑代数的基本定理 一、代入定理 在一个逻辑等式两边出现某个变量（逻辑式）的所有位置都代入另一个变量（逻辑式），则等式仍然成立。 例：已知(AB)’=A’+B’ 在等式两边出现B的所有位置都代入BC 左边(A(BC))’=A’+(BC)’=A’+B’+C’ 右边A’+(BC)’ = A’+B’+C’ 等式仍然成立 例：已知(A+B)’=A’B’，在等式两边B的位置都代入B+C 左边(A+(B+C))’=A’(B+C)’=A’B’C’ 右边 A’B’= A’(B+C)’=A’B’C’ 等式仍然成立 二、反演定理 对一个逻辑函数Y进行如下变换： 将所有的“·”换成“＋”， “＋”换成“·”， “0”换成“1”， “1”换成“0”， 原变量换成反变量， 反变量换成原变量， 则得到函数Y的反函数Y’ （或称补函数） 。 注意：1、遵守“先括号、然后乘、最后加”的运算优 先次序； 2、不属于单个变量上的反号应保留不变。 例： 三、对偶定理 对一个逻辑函数Y进行如下变换： 将所有的“·”换成“＋”， “＋”换成“·”， “0”换成“1”， “1”换成“0”， 则得到函数Y的对偶函数YD。 例：Y1=A·(B+C)， Y1D =A+B·C Y2=(AB+CD)’ Y2D=((A+B)(C+D))’ Y3=AB+(C+D)’ Y3D =(A+B)(CD)’ 对偶规则：若两个函数相等，则它们的对偶函数亦相等。 例：已知A·(B+C)=A·B+A·C则两边求对偶  A+B·C=(A+B)·(A+C) 逻辑真值表、逻辑函数式、逻辑图和卡诺图等。 1、逻辑真值表 用来反映变量所有取值组合及对应函数值的表格。 例如，在一个判奇电路中，当A、B、C三个变量中有奇数个1时，输出Y为1；否则，输出Y为0。 常用的逻辑函数有 与或表达式 Y=AB+ACD’ 标准与或表达式 Y=A’BC’D+ABCD’+ABCD 或与表达式 Y=(A+B)(A+C+D’) 标准或与表达式 Y=(A’+B’+C+D’)(A+B+C+D)(A+B’+C+D’) 与非与非表达式 Y=((AB)’(AD)’)’ 或非或非表达式 Y=((A+B)’+(C+D)’)’ 与或非表达式 Y=(AB+CD)’ 3、逻辑图 ：由逻辑门电路符号构成，表示逻辑变量之 间关系的图形称为逻辑电路图。 P1=A’ P2=B’ P3=C⊕D P4=(P1P2)’ P5=(P2P3 )’ Y=(P4+P5)’ Y=((A’B’)’+(B’(C⊕D ))’)’ 不同描述方法之间的转换 1、表达式→真值表 首先按自然二进制码的顺序列出所有逻辑变量的不同取值组合，确定出相应的函数值。 逻辑函数 Y=AB’+BC’+ A’ C 的真值表 10X X10 0X1 例: 写出函数 Y=A(B′+C)的标准或与表达式。 解: 例、 画出逻辑函数Y=AC+(B+A+D)’+ABC’D 的卡诺图。 Y=AC+A’B’D’+ABC’D? 一个与项如果缺少一个变量，对应卡诺图中两个方格； 一个与项如果缺少两个变量，对应卡诺图中四个方格； 一个与项如果缺少n个变量，则对应卡诺图中2n个方格。 Y(A,B,C,D)=∑m(0,2,5,6,7,9