SZLJ2逻辑代数基础.ppt

第二章 逻辑代数基础;2.1 逻辑代数中的几个概念; 2. 逻辑变量 Logic Value ： 用于表示事物的逻辑状态随逻辑条件的变化而变化，取值：0 或1 。;表2－1不同工艺器件定义的逻辑电平;; 逻辑电路Logic Circuit： 由实现逻辑变量之间逻辑关系的物理器件所构成的电路称为逻辑电路，即二值逻辑电路。;5. 逻辑函数 Logic Function：;6. 逻辑函数的表示法 Representation：主要有四种;2.2 逻辑代数的基本运算;;2.3 逻辑代数的基本定理及规则;Commutativity of the ＋ and · operations;A B C;重叠律 Idempotency A + A = A A ? A = A ;2.3.2 布尔代数的基本定理 Fundamental Theorems;A + B = A B A ? B = A + B;A1 + A2 + … + An = A1 ? A2 ? … ? An ; = 右边 证明成立;1. 代入规则：;; 这是反演律和代入规则的推广使用。是对 互补函数的完善说明。;2.4 逻辑函数的性质;1. 与非逻辑(NAND) 逻辑表达式为: F = A · B · C;可以用与非门实现三种基本运算：;2. 或非逻辑(NOR) 逻辑表达式为: F = A ＋ B ＋ C;可以用或非门实现三种基本运算：;3. 与或非逻辑(AOI) 逻辑表达式为: F = AB ＋ CD ＋EF;4. 异或逻辑(XOR) 逻辑表达式为: F = A⊕B = A · B ＋A · B;4. 同或逻辑 逻辑表达式为: F = A⊙B = A · B ＋A · B;异或运算与同或运算的关系;证明 A⊕B ⊕C = A ( B⊕C ) ＋ A ( B ⊕C )  = A ( B⊕C ) ＋ A ( B ⊙ C )  = A ( B C ＋ BC ) ＋ A ( B C ＋ BC )  = A B C ＋ A B C ＋ A B C ＋ A B C ;由代入规则可以证明： 当变量为偶数时，同或运算与异或运算之间具有互补关系；当变量为奇数时，同或运算与异或运算之间具有相等关系。即;异或运算和同或运算的基本代数性质; 依照逻辑运算的规则，一个逻辑可以用多种形式 的逻辑函数来描述，而这些逻辑函数的真值表都是相 同的。如：F= A⊕B;2.4.3 逻辑函数的标准形式 Canonical Forms of Switching Functions;1. 最小项 minterm;2. 最大项 maxterm;3. 最小项与最大项的性质;最小项与最大项具有如下性质：;??上表可知，最小项与最大项具有如下性质;4. 函数的最小项标准式;写出逻辑函数的最小项标准式的方法：;;;;5. 函数的最大项标准式;写出逻辑函数的最大项标准式的方法：;②如果给定函数用真值表表示，显然真值表每一行变;③ 如果给定函数用卡诺图表示，则函数的最大项;最大项与原函数、反函数的关系;同一函数的最小项标准式与其最大项标准式的关系:;2.5 逻辑函数的化简 Simplification of Switching Expression;例： F = AB ( B＋C ) ＋ AC ＋ BC = AB ＋C对应两种逻辑电路图，如下;;一、与或式的化简;1. 吸收法 ① 利用公式：A+AB=A 消去多余变量。例： F＝ AB+AB · (C+D) · E  ＝ AB; 3. 消去法利用公式：AB＋AC＋BC＝AB ＋AC 消去多余项。 例：F = AC + ADE + CD = AC + CD + AD + ADE = AC + CD;4. 配项法;?利用公式： AB＋AC = AB＋AC＋BC 增加项数。例： F = AB + BC + BC + AB