C3 第1章节 数字逻辑基础 P3.pptVIP

* 逻辑变量和逻辑函数 基本逻辑运算及基本逻辑门 逻辑代数的基本公式和常用公式 逻辑函数的表示方法 逻辑函数的化简方法 1.4 逻辑代数基础 逻辑代数，又称布尔代数——研究客观事务逻辑关系的代数学； 由19世纪英国数学家乔治·布尔(George Boole)创立 它和普通代数有本质的区别——是一种二值代数 1.4 逻辑代数基础 * 逻辑代数的基本公式和常用公式 逻辑代数的基本公式 ① 0-1律： A+1=1; A?0=0 以上公式除还原律外，均成对出现，且互为对偶式 以上公式可通过真值表证明，如反演律证明 ②自等律：A+0=A; A?1=A ③互补律：A+A=1; A?A=0 ④交换律：A+B=B+A; A?B=B?A ⑤结合律：A+(B+C)=(A+B)+C; A?(B?C)=(A?B)?C ⑥分配律：A+B?C=(A+B)?(A+C); A?(B+C)=A?B+A?C ⑦吸收律：A+A?B=A; A?(A+B)=A; A+A?B=A+B; A?(A+B)=A?B ⑧重叠律：A+A=A; A?A=A ⑨反演律：(A?B)=A+B; (A+B)=A?B’ ⑩还原律：A=A 逻辑代数的基本公式 用真值表证明反演律 A B (A·B)’ A’ +B’ 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 注：逻辑运算的优先级 （） 非 与 或 * 逻辑代数的基本公式和常用公式 常用公式 AB+AB=A 推论；A(AB)=A 证明：AB+AB =A ·(B+B )=A·1=A A+AB=A+B 证明：A+A B=(A+AB)+A B=A+(AB+A B)=A+B AB+AC+BC=AB+AC 证明：AB+A C+BC =AB+A C+BC(A+A )=AB+A C+ABC+A BC=AB+A C 推论：AB+AC+BCD=AB+AC A(AB)=AB 证明：A(AB) =A(A +B )=AA +AB =AB 常用公式 课堂练习： 证明： 1）A’B+AB’=(A’+B’)(A+B) 2）BC+AD=(B+A)(B+D)(A+C)(C+D) * 逻辑代数的基本公式和常用公式 逻辑代数的3个重要运算规则(代入、反演、对偶规则) (1) 代入规则： 将逻辑等式中某个逻辑变量全部用同一逻辑函数代替， 则逻辑等式仍成立 代入规则 例1-24 已知等式A(B+C)=AB+AC，证明：用逻辑函数F=D+E代入等式中的B后，等式仍成立 用F=D+E代入后， 例1-25 用代入法证明反演律也适用3变量的情况 2变量的反演律：(A?B) =A+B ; (A+B) =A ? B’ 进一步可推广到多变量的反演律，反演律又称德·摩根定理 左端= 右端= A(F+C)=A(D+E+C)=AD+AE+AC A(D+E)+AC=AD+AE+AC 所以，等式成立 将(B?C)代入(A?B) =A+B ，得：(A?B?C) =A+(B?C) =A+B +C’ 将(B+C)代入(A+B) =A ? B ，得：(A+B+C) =A ? (B+C) = A ? B ? C * 逻辑代数的基本公式和常用公式 逻辑代数的3个重要运算规则(代入、反演、对偶规则) (2) 反演规则： ① 不能破坏原表达式的运算顺序； ② 不属于单变量的非运算符应保持不变 将F中所有”?”换成”+”，”+”换成”?”，”1”换成”0”， ”0”换成”1”，原变量换成反变量，反变量换成原变量， 等到的函数是F的非(称反函数或补函数) 反演规则是反演律的推广，使用时的注意事项： 反演规则 例1-26 求逻辑函数F=AB+CD的非 由反演律得：F =(AB+CD) =(A +B )(C +D ) 例1-27 求逻辑函数F=(AB+C) +C D的非 由反演律得：F =((A +B )C ) (C+D ) * 逻辑代数的基本公式和常用公式 逻辑代数的3个重要运算规则(代入、反演、对偶规则) (3) 对偶规则： 注意事项： 若某逻辑表达式是正确的，则其对偶式也是正确的 ① 不能破坏原表达式的运算顺序； ② 表达式中的非运算符不能改变 将F中所有”?”换成”+”，”+”换成”?”，”1”换成”0”， ”0”换成”1”，而变量都保持不变，得到函数是F的对偶式 记作D*或FD 对偶规则 例1-28 用对偶规则证明(A+C )(B+D)(B+D )=AB+BC 等式左端的对偶式= 等式右端的对偶式= 左右两端的对偶式相等，所以原式成立 (AC )+(BD)+(BD )=AC +B (A+B)(B+C‘ )=AB+B+AC +BC =B+BC’+AC’=B+AC * 逻辑函数的表示方法