数字逻辑复习课件第2章.pptxVIP

第 2 章　逻辑代数概　述逻辑代数的基本定律和规则逻辑函数的代数化简法逻辑函数的卡诺图化简法本章小结2.1 逻辑代数主要要求： 理解逻辑值 1 和 0 的含义。理解逻辑体制的含义。 用于描述客观事物逻辑关系的数学工具，又称布尔代数 (Boole Algebra)或开关代数。逻辑指事物因果关系的规律。 与普通代数比较用字母表示变量，用代数式描述客观事物间的关系。 相似处逻辑代数描述客观事物间的逻辑关系，相应的函数称逻辑函数，变量称逻辑变量。 相异处逻辑变量和逻辑函数的取值都只有两个，通常用 1和 0 表示。运算规律有很多不同。 一、逻辑代数二、逻辑体制 规定高电平为逻辑 1、低电平为逻辑 0 正逻辑体制 规定低电平为逻辑 1、高电平为逻辑 0 负逻辑体制 通常未加说明，则为正逻辑体制注意逻辑代数中的 1 和 0 不表示数量大小，仅表示两种相反的状态。 例如：开关闭合为 1晶体管导通为 1电位高为 1 断开为 0截止为 0低为 02.1.1　逻辑代数的基本定律和恒等式 主要要求： 掌握逻辑代数的基本公式和基本定律。 了解逻辑代数的重要规则。逻辑常量运算公式 0 + 0 = 00 + 1 = 11 + 0 = 11 + 1 = 10 · 0 = 00 · 1 = 01 · 0 = 01 · 1 = 1逻辑变量与常量的运算公式 0 – 1 律重迭律 互补律 还原律 A + A = A A · A = A 0 + A = A1 + A = 1 1 · A = A0 · A = 0一、基本公式 (一) 与普通代数相似的定律 交换律A + B = B + A A · B = B · A结合律(A + B) + C = A + (B + C) (A · B) · C = A · (B · C)分配律A (B + C) = AB + AC A + BC = (A + B) (A + C)利用真值表 逻辑等式的证明方法 利用基本公式和基本定律二、基本定律 普通代数没有！ 001111111111 [例] 证明等式 A + BC = (A + B) (A + C)A B CA + BC(A + B) (A + C)0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1真值表法解：0000右式 = (A + B) (A + C)公式法 用分配律展开 = AA+ AC+ BA+ BC= A + AC + AB + BC= A (1 + C + B) + BC= A · 1 +BC= A + BC (二) 逻辑代数的特殊定理 吸收律 A + AB = A A + AB = A (1 + B) = A (二) 逻辑代数的特殊定理 吸收律 A + AB = A 推广公式： A BA+BA · BA BA · BA+B0 0110 0110 1000 111推广公式：1 0001 0111 1001 100(又称反演律) 摩根定律 思考：(1) 若已知 A + B = A + C，则 B = C 吗？ (2) 若已知 AB = AC，则 B = C 吗？ A均用 代替A均用 代替B均用C代替2.1.2逻辑代数的基本规则 (一) 代入规则 将逻辑等式两边的某一变量均用同一个逻辑函数替代，等式仍然成立。A A A 利用代入规则能扩展基本定律的应用。 对任一个逻辑函数式 Y，将“·”换成“+”，“+”换成“·”，“0”换成“1”，“1”换成“0”，原变量换成反变量，反变量换成原变量，则得到原逻辑函数的反函数　。 (二) 反演规则 变换时注意：(1) 不能改变原来的运算顺序。(2) 反变量换成原变量只对单个变量有效，而长非 号保持不变。 原运算次序为 可见，求逻辑函数的反函数有两种方法：利用反演规则或摩根定律。 变换时注意：(1) 变量不改变 (2) 不能改变原来的运算顺序A + AB = A A · (A + B) = A (三) 对偶规则 对任一个逻辑函数式 Y，将“·”换成“+”，“+”换成“·”，“0”换成“1”，“1”换成“0”，则得到原逻辑函数式的对偶式 Y ?。 对偶规则：两个函数式相等，则它们的对偶式也相等。 应用对偶规则可将基本公式和定律扩展。 2.1.3逻辑函数的代数化简法 主要要求： 了解逻辑函数式的常见形式及其相互转换。理解最简与 - 或式和最简与非式的标准。 了解逻辑函数的代数化简法。或与式 或非式 与或非式 与或式