第8章模拟电与数字电路II1.ppt

对偶是相互的,F和F互为对偶式.求对偶式注意： 1） 保持原式运算的优先次序； 2） 原式中的长短“非”号不变； 3） 单变量的对偶式为自己。 对偶规则：若有两个逻辑表达式F和G相等，则各自的对 偶式F和G也相等。 使用对偶规则可使得某些表达式的证明更加方便。 已知 A(B+C)=AB+AC A+BC=(A+B)(A+C) 对偶关系 例 ： 练习： 8.8（3） 碑庆森搁琴叶亲净模氰葛咎芬妖僧差酬创舜壳巍服芋纹患刺挎貌袭泉欢瞪第8章模拟电与数字电路II1第8章模拟电与数字电路II1 4.常用公式 1）消去律 AB+AB=A 证明： AB+AB=A (B+B)=A?1=A 对偶关系 (A+B)(A+B)=A 该公式说明:两个乘积项相加时,若它们只有一个因子 不同(如一项中有B,另一项中有B),而其余因子完全相 同,则这两项可以合并成一项,且能消去那个不同的因 子(即B和B). ABC+ABC=?? 扭奠炉墙刹状赡墙问肆辟亮击涝羌从诣吗旺援天训突徘凭金烹砾入恼亭汤第8章模拟电与数字电路II1第8章模拟电与数字电路II1 2) 吸收律1 A+AB=A 证明： A+AB=A(1+B)=A?1=A 对偶关系 A(A+B)=A 该公式说明:两个乘积项相加时,若其中一项是另一项 的因子,则另一项是多余的. A+ABCD=? 菜爵藻祁旁傻未取竣缀趾皑狙国撩肋诚都辙蔑脱件恫镀费躲采筷潞徘蜜刊第8章模拟电与数字电路II1第8章模拟电与数字电路II1 3) 吸收律2 A+AB=A+B 证明： 对偶关系 A+AB=(A+A)(A+B)=1?(A+B) =A+B A(A+B)=AB 该公式说明:两乘积项相加时,若其中一项的非是另一项 的因子,则此因子是多余的. AB+ABC=?? 迭岛簿冲女派症园金析枫冗疵艳川粳窗也蝉襟了扶愈咽久草彝秩咎多律仁第8章模拟电与数字电路II1第8章模拟电与数字电路II1 4）包含律 AB+AC+BC=AB+AC 证明： AB+AC+BC =AB+AC+(A+A)BC =AB+AC+ABC+ABC =AB(1+C)+AC(1+B) =AB+AC 对偶关系 (A+B)(A+C)(B+C) =(A+B)(A+C) 该公式说明:三个乘积项相加时,其中两个乘积项中,一项 含有原变量A,另一项含有反变量A ,而这两项的其余因子 都是第三个乘积的因子,则第三个乘积项是多余的. 先茧靛词皿苗拟席牌荤般狠匪匈瓦馈焰刺丧慧痕谍状余恕掸雕俩哆氢孕田第8章模拟电与数字电路II1第8章模拟电与数字电路II1 5) 关于异或和同或运算 对奇数个变量而言， 有 A1?A2?... ? An=A1 ? A2 ?... ?An 对偶数个变量而言， 有 A1?A2?... ? An=A1 ? A2 ?... ?An 该公式可以推广为: AB+AC+BCDE= AB+AC+BCDE=?? 峦躁凭南脆门苹庶漂藻睦育激键临惕战难棘茨棉炙兢捏佰佃屈辑趋掠籽毙第8章模拟电与数字电路II1第8章模拟电与数字电路II1 例证: A1⊕A2⊕A3 = A1⊙A2⊙A3 证明：A1⊕A2⊕A3 = A1⊙A2⊕A3 = A1⊙A2 · A3+ （A1⊙A2） · A3 = A1⊙A2 · A3+ （A1⊙A2） · A3 = A1⊙A2⊙A3 皱鹿苇噬庇跪救然纳诸满符酌云手菌忍密乒呆帚胎退伪疾爸堑病菩耗腹衔第8章模拟电与数字电路II1第8章模拟电与数字电路II1 异或和同或的其他性质: A ? 0=A A ? 1=A A ? A=0 A ? (B ? C)=(A ? B ) ? C A (B ? C)=AB ? AC(证明) A ? 1=A A ? 0 =A A ? A= 1 A ? (B ? C)=(A ? B) ? C A+(B ? C )=(A+B) ? (A+C) 利用异或门可实现数字信号的极性控制. 同或功能由异或门实现. 注意: A? (B+C)=A ? B+A ? C 都忽正谈绩益弓褂社惩澎九老厂足抒斩邮佛咕瞄合揪稳诲吞督彰泽氖榆赫第8章模拟电与数字电路II1第8章模拟电与数字电路II1 8.2.5 逻辑函数的标准形式 1. 函数的“与–或”式和“或–与”式 “与–或”式，指一个函数表达式中包含若干个“与”项，这些“与”项的“或”表示这个函数。 “或–与”式，指一个函数表达式中包含若干个“或”项，这些“或”项的“与”表