数字模拟技术PPT[第二章].pptVIP

第 二 章 逻辑代数基础 在数字电路中，主要研究的是电路的输入输出之间的逻辑关系，因此数字电路又称逻辑电路，其研究工具是逻辑代数（布尔代数或开关代数）。 逻辑变量：用字母表示，取值只有0和1。 此时，0和1不再表示数量的大小， 只代表两种不同的状态。 §2.1 概述 一、与逻辑（与运算） 例：开关A，B串联控制灯泡Y §2.2 逻辑代数中的三种基本运算 功能表 将开关接通记作1，断开记作0；灯亮记作1，灯灭记作0。可以作出如下表格来描述与逻辑关系： 真值表 Ｙ＝Ａ•Ｂ 两个开关均接通时，灯才会亮。逻辑表达式为： 实现与逻辑的电路称为与门。 与门的逻辑符号： Ｙ＝Ａ•Ｂ 二、或逻辑（或运算） 两个开关只要有一个接通，灯就会亮。逻辑表达式为： 功能表 真值表 Ｙ＝Ａ+Ｂ 实现或逻辑的电路称为或门。 或门的逻辑符号： Y=A+B 三、非逻辑（非运算） 实现非逻辑的电路称为非门。 非门的逻辑符号： Y＝A′ 常用的逻辑运算 1、与非运算： 逻辑表达式为： 2、或非运算： 逻辑表达式为： 3、异或运算：逻辑表达式为： 相同为0，不同为1 异或逻辑的运算规则： 0⊕0= 0 0⊕1= 1 1⊕0= 1 0 1⊕1= A⊕0= A⊕1= A⊕A′= A⊕A= A A′ 1 0 4、同或运算：逻辑表达式为： 异或和同或互为反运算 相同为1，不同为0 同或逻辑的运算规则： 0 ⊙ 0= 1 0 ⊙ 1= 0 1 ⊙ 0= 0 1 1 ⊙ 1= A ⊙ 0= A ⊙ 1= A ⊙ A′= A ⊙ A= A A′ 1 0 5、 与或非运算：逻辑表达式为： §2.3 逻辑代数的基本公式和常用公式 一、基本公式 请特别注意与普通代数不同之处 1.常量之间的关系 2.基本公式 分别令A=0及A=1代入这些公式，即可证明它们的正确性。 亦称 非非律 3.基本定理 利用真值表很容易证明这些公式的正确性。如证明A·B=B·A： 求证: （17式） 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 =左边 课本上用真值表证明 二、常用公式 1. A+AB = A(A′+B)= A′(A+B)= A A+B A′+B AB A′B 证明: A+A′B =(A+A′) •(A+B) ;分配律 =1•(A+B) =A+B A+BC=(A+B)(A+C) 3. AB+AB ′= 4. A(A+B )= 证明: A(A+B )=A·A+A·B =A+A·B =A(1+B) =A (A+B ) (A+B′ )= 注: 红色变量被吸收掉！也称 吸收律 A A A 5. AB+A′C+BC = 证明: AB+A′C+BC =AB+A′C+(A+A′)BC =AB+A′C+ABC+A′BC =AB(1+C) +A′C(1+B) =AB +A′C AB+A′C+BCD = AB+A′C AB+A′C 冗余定律或 多余项定理 或包含律 (A+B)(A′+C)(B+C) = (A+B)(A′+C) (A+B)(A′+C)(B+C+D) = (A+B)(A′+C) 冗余定律或多余项定理的其他形式 同理：此多余项可以扩展成其他形式 证明: A·(A·B) ′=A·(A′+B′) =A·A′+A·B′ = A·B′ A′·(A·B) ′=A′·(A′+B′) =A′·A′+A′·B′ = A′·(1+B′) =A′ A·B′ A′ 一、代入定理 　 任何一个含有变量A的等式，如果将所有出现A的位置都用同一个逻辑函数代替，则等式仍然成立。这个规则称为代入定理。 §2.4 逻辑代数的基本定理 　二、 反演定理 　对于任何一个逻辑表达式Y，如果将表达式中 的所有“·”换成“＋”，“＋”换成“·”，“0” 换成“1”，“1”换成“0”，原变量换成反变量， 反变量换成原变量，那么所得到的表达