第1章-开关理论基础介绍.pptVIP

F A B C D ≥1 A B C D F C + A B D F ⊕ =1 A F B 与或非 异或 ⊙ = A F B 同或 运算 国际符号 国标符号 曾用符号 表达式 逻辑运算符号对照表 一、基本逻辑运算：与、或、非 三种。 二、复合逻辑运算： 与非、或非、与或非、异或、同或 五种 三、逻辑代数的基本定律和规则 1、逻辑函数间的相等 2、逻辑代数的基本公式 1.3 逻辑函数及其描述工具 小结 1.1 二进制系统 1.2 数制与码制 1.3 逻辑函数及其描述工具 1.4 布尔代数 1.5 卡诺图 1.6 数字集成电路 第1章 开关理论基础 1.4 布尔代数? 1.4.1 布尔代数的基本定律 1.4.2 布尔代数运算的基本规则 1.4.3 用布尔代数简化逻辑函数 1.4.4 逻辑函数的表示方法 1.4.5 逻辑函数的两种标准形式 1、逻辑函数间的相等 设有两个逻辑函数 F = f (A1A2An) G = g (A1A2An) 看出：F和G都是变量 A1A2An的逻辑函数。 如果:2n 种组合中每一状态组合F和G值相同，则称为F和G相等，记作F=G。 如果F=G，其真值表相同。反之，F和G真值 表相同，F一定等于G。 因此，要证明两个逻辑函数相等，只需列出真 值表，若真值表相同，那么这两个函数一定相等。 例：设 证明 F = G 证： (1)、列出F和G的真值表 从真值表中可以看出： 每一种状态组合 F 和 G 都相等，所以 F = G。 即：F 和 G是同一逻辑的两种不同表达式。 A B C 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 (2)、实现F和G的逻辑电路图 两种不同的电路形式，表示同一种逻辑功能。 将运算符号变为逻辑符号 A B C A B C 交换率 A+B=B+A AB=BA 结合率 A+(B+C)=(A+B)+C A(BC)=(AB)C 分配率 A(B+C)=AB+AC A+(BC)=(A+B)(A+C) 吸收率 A+AB=A A(A+B)=A 0－1率 A+1=1,A+O=A A·0=0,A·1=A 互补率 重叠率 A+A=A A·A=A 非非率 反演率 包含率 （1）常量之间的关系 　0 · 0 = 0 　0 + 0 = 0 　0 · 1 = 0 　0 + 1 = 1 　1 · 0 = 0 　1 + 0 = 1 　1 · 1 = 1 　1 + 1 = 1 　0 = 1 　 　1 = 0 与 或 这些常量之间的关系，同时也体现了逻辑代数中的基本运算规则，也叫做公理，它是人为规定的，这样规定，既与逻辑思维的推理一致，又与人们已经习惯了的普通代数的运算规则相似。 （2）常量与变量之间的关系 （3）与普通代数相似的定理 交换律 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+(BC)=(A+B)(A+C) （4）特殊的定理 De Morgan Law 摩根定理 两点说明： 1、乘法运算中乘号“·”可以省略，A · B 可写为AB 2、运算顺序，先括号，再算乘，最后加。 这些基本定律反应了逻辑代数的基本规律，其正确性都可以利用真值表加以验证。 例：证明反演率 从真值表中看出： 1.4 布尔代数? 1.4.1 布尔代数的基本定律 1.4.2 布尔代数运算的基本规则 1.4.3 用布尔代数简化逻辑函数 1.4.4 逻辑函数的表示方法 1.4.5 逻辑函数的两种标准形式 （1）、代入规则 任何一个含变量 A 的等式中，如果将出现 A 的地方，都代之一个逻辑函数 F ，则等式仍然成立。 例1：分配率A(B+C) = AB+AC 令：C = EF 代入公式 A(B+EF) 证:A(B+EF) 用乘对加的分配率证明 例2: 则： 令：A = CD 证： 代入规则之所以正确： 是因为任何一个逻辑函数和任何一个逻辑变量一样，只有两种可能取值 (0 ,1),所以可以将逻辑函数当作一个逻辑变量对待。 = AB+AEF = AB+AEF （1）代入规则 任何一个含变量 A 的等式中，如果将出现 A 的地方，都代之一个逻辑函数 F ，则等式仍然成立。 ☆ 有了代入规则，基本定律不受变量限制，扩大了基本公式的应用范围。