逻辑代数基础2.pptVIP

第二次课 1.1.2 1.2.1 1.2.2 五、异或和同或运算 1.2.2 逻辑函数的公式化简法 * 教 学 目 的 1. 掌握逻辑代数的基本定律和常用公式 。 2. 掌握逻辑代数的基本定律的证明方法。 3. 掌握逻辑表达式的标准形式和最简形式。 4. 熟练掌握用公式法化简逻辑函数。 教 学 重 点 1. 逻辑代数的基本定律的证明 。 2. 逻辑代数的基本定律和常用公式 。 3. 公式法化简逻辑函数。 教 学 难 点 1.逻辑代数的基本定律的证明 。 一、基本公式 “或”运算规则: 0+0=0 ，0+1=1 ，1+0=1，1+1=1 “与”运算规则: 0?0=0 0?1=0 1?0=0 1?1=1 “非”运算规则: §1.1.2 公式和定理 二、基本定理 1、交换律 2、结合律 3、分配律 A+B=B+A A? B=B ? A A+(B+C)=(A+B)+C=(A+C)+B A? (B ? C)=(A ? B) ? C A(B+C)=A ? B+A ? C A+B ? C=(A+B)(A+C) 普通代数不适用! 求证: （分配律第2条） A+BC=(A+B)(A+C) 证明: 右边 =(A+B)(A+C) =AA+AB+AC+BC =A +A(B+C)+BC =A(1+B+C)+BC =A ? 1+BC =A+BC =左边 4、还原律 5、德?摩根定理 可以用列真值表的方法证明： 三、三个规则 1、代入规则 任何一个含有变量A的逻辑等式，如果将所有出现A的位置都代之以同一个逻辑函数F，则等式仍然成立。 反演定理内容：将函数式 F 中所有的 ? + + ? 变量与常数均取反 求反运算 1.运算顺序：先括号 ? 再乘法 ?后加法。 2.不是一个变量上的反号不动。 注意: 用处：实现求反运算。 新表达式：F 显然： (变换时，原函数运算的先后顺序不变) 2、反演规则 例： ?与或式 反号不动 反号不动 ? 对偶规则内容：将函数式 F 中所有的 ? + + ? 常数均取反 新表达式：F 这样得到的新的函数称为原函数的对偶式 。 若两个逻辑函数相等，则它们的对偶式也相等。 这样，有时为了证明两个逻辑函数相等，可以通 过证明它们的对偶式相等来完成，因为有些情况 下，证明它们的对偶式相等更容易。 3、对偶规则 例: F = A+ B + C F=A · B · C 四、若干常用公式 (★★★) 原变量的吸收 （公式15）： A+AB=A 证明： A+AB=A(1+B)=A?1=A 长中含短，留下短。 2.反变量的吸收 （公式16）： 证明： 长中含反，去掉反。 3. 混合变量的吸收（公式17）： 证明： 1 吸收 正负相对，余全完。 ４．两变量表达式求反（公式18、19） 一项含原变量，另一项含反变量，将两项另一因子求反 1.交换律： 2.分配律： 3.结合律： 4. 0-1律： 5.重叠律： 6.调换律： 1.2.1 逻辑函数的标准与或式和最简式 1.2 逻辑函数的化简方法 一、标准与或表达式 最小项的概念 最小项是一个含有全部逻辑变量，且每个变量仅以原 变量或反变量出现一次的与项。由最小项组成的或逻辑表 达式称为最小项表达式，是逻辑表达式的标准形式之一。 ABC C AB C B A F + + (A,B,C)= N个变量可组成多少个最小项？ N 2 用符号 mi 表示最小项。下标 i 是该最小项为 1 时，对应变量组合取值的十进制数值形式。 2. 最小项的性质 P17 性质2：对于任一组变量的取值，任意两个最小项之积为0。 性质3：对于任一组变量取值，全部最小项之和为1。 性质1：对于任意一个最小项，只有一组变量的取值使其值为1。即每一个最小项对应了一组变量的取值 。 3. 标准表达式的表示方法 任何逻辑函数都可以用与或表达式来表示。任何与或表达式 都可以用配项的方法变换为标准的表达式。 二、最简表达式 最简与或式 乘积项的项数最少。 每个乘积项中变量个数最少。 与 -或表达式 与非-与非表达式(摩根） 与或非（摩根、化简、公式19） 或与表达式(摩根） 或非或非表达式（摩根） 一、并项法 二、吸收法 三、消去法 四、配项法 例1： AB AC + = ) B C ( A + = ) B C B ( A + = AB C B A + = ) C C ( AB C B A + + = ABC C A