电子技术基础数字部分2.docx

2.1逻辑代数基本规则 2.2逻辑函数的化简 ? 2.3卡诺图 2.1逻辑代数基本规则 逻辑函数表达式的书写及基本运算法则 ?先做括号内的逻辑运算 ?对某变量取“非”，可以不加括号 ?例如：A + 5 C + D 不必写成：G4 + B), (C + D) ?在表达式中，若即有“与”运算，又有“或”运算, 则按先“与”后“或”的原则，省去括号 例如：+ 可写成：AB + CD 但(4 + B).(C + Q) 则不能省括号 基本定律一加逻辑代数的基本定律和恒等式 基本定律一加 ?结合律(A+B)+C=A+(B+C)?交换律 ?结合律 (A+B)+C=A+(B+C) ?交换律 A+B=B+A ?分配律 ? A(B+C)=AB+AC (AB)C=A(BC) AB=BA A+BC=(A+B)(A+C) ?A+0=A ? A+ 1 = 1 A 0 = 0 A- 1 =A c^=A (还原律) 基本定律一乘基本定律——非 A + A = A（重叠律）?A?A二A （重叠律） A+X= 1 （互补律）?A?K=O （互补律）  逻辑代数的基本定律和恒等式 ?反演律（摩根定律）_ ? A ? B ? C ? ? ?二 A+B+C+ ? ? ??二A?B ? C ? ?A+AB=A ? A(A+B)=A ??二A?B ? C ? ? A+AB=A+B ? (A+B)(A+C)=A+BC ?其他彎恒等式_AB+AC+BC=AB+ACAB+AC+BCD=AB+AC ?其他彎恒等式_ AB+AC+BC=AB+AC AB+AC+BCD=AB+AC (若两个乘积项中分别包含了A、A两个 因子，而这两项的其余因子组成第三 个乘积项时，则第三个乘积项可消去) 逻辑代数基本定律和恒等式的证明 ?真值表 -例：摩根定律的证明 A B A B A+B A B AB A+ B 0 0 1 1 0+0 =1 1 0 ? 0 =1 1 0 1 1 0 0+1=0 0 0 ? 1 =1 1 1 0 0 1 1+0 =0 0 1 ? 0 =1 1 1 1 0 0 1+1 =0 0 1 ? 1 =0 0 多项式摩根定律的证明 ^±+0 = AB + C = ABC O)C = (A+B) C = A+B+C ?依次类推，可以证明摩根定律对于任意项 都成立 逻辑代数基本定律和恒等式的证明 ?用其他更基本的定律证明 —吸收率： A+AB=A(1+B)=A-1=A A+AB=(A+A)(A+B)——分配率A+BC=(A+B)(A+C) =A+B -恒等式： AB+AC+BC=AB+AC+(A+A)BC =AB+AC+ABC+ABC =AB(1 +C)+AC(1 +B)=AB+AC 逻辑代数的基本规则 ?代入规则 ?反演规则 ?对偶规则 代入规则 在任何一个逻辑等式中，如果将等式两边出现的某变量都用一个函数代替，则等式依然成立 多变量摩根定律的证明： A+(B+C)=A-(B7C)^A-B-C A-B-C=A+(B-C)=A+B+C 反演规则 观察摩根定律 ? ABC- - ? = A+B+C+ ? ? ? A+B+C+ ?——二A ? B ? C ? ? ? 将逻辑函数L中的与换成或，或换成与；再将原变 量变换为非变量；并将1换成0，0换成1；那么 所得的逻辑函数式就是非函数L 反演规则 ?须注意两点： 保持原来的运算顺序，即仍需遵守原式“先 括号、然后乘、最后加的运算顺序。 对于反变量以外的非号应保留不变，即不属 于单个变量上的反号应保留不变。 ■例：求L的非函数L = AB+CD + O L =(A + B)(C + D)1 = (A+ B)(C + D) 反演规则 ?例求L= A+ BC + D+K的非函数L L = A ( (B + C) (DE)) 反演规则 摩根定律=反演规则 AB = AB的补=入+ E 对偶规则 ?把L中的与换成或，或换成与，1换成0, 0换成 1,那么就得到L的对偶式L ?当某个逻辑恒等式成立时，则其对偶式也成立 仍需注意保持原式中先与后或的顺序 可通过证明对偶式相等来证明原式相等，因为有些情况下证明 对偶式相等更容易 例：_ A+AB=A+B_ 对偶式：A(A+B)=AB 例： A+BC=(A+B)(A+C) 对偶式：A(B+C)=AB+AC 15 对偶规则 ?证明对偶规则 -设F,G为两个逻辑函数，并有F=G _ _ -对等式F=G两边分别求反，我们有：戸=石 ?根据反演规则，在戸和X中，原函数中的原变量已改为反变量， 反变量改为了原变量；同时“与”换成了 “或”，“或”换成了 “与” ,1换成了0, 0换成了 1。 -利用代入规则：对戸，厂中的新变量再以它们的反变量 代入（实际上恢复原F，G中的变量），得到F，, G，, 并且F， 对