第二节 逻辑代数基础1.pptVIP

数字电子技术 信息与电气工程学院 第二章 逻辑代数基础(4学时) 2.1 概述 2.2 逻辑代数中的三种基本运算 2.3 逻辑代数的基本公式和常用公式 2.3.1 基本公式 2.3.2 若干常用公式 2.4 逻辑代数的基本定理 2.4.1 带入定理 2.4.2 反演定理 2.4.3 对偶定理 2.5 逻辑函数及其表示方法 2.5.1 逻辑函数 2.5.2 逻辑函数的表示方法 2.5.3 逻辑函数的两种标准形式 2.5.4 逻辑函数形式的变换 2.1 概述 基本概念 逻辑：事物间的因果关系。 二值逻辑：只有两种对立逻辑状态（0/1）的逻辑关系。 逻辑运算：二值逻辑的推理运算。 逻辑代数：逻辑运算的数学方法。 2.2 逻辑代数中的三种基本运算(1) 用1表示开关合上，0表示开关断开。 用1表示灯亮，0表示灯灭。 三种电路的因果关系不同。 2.2 逻辑代数中的三种基本运算(2) 与 条件同时具备，结果发生。 Y = A · B = AB = A AND B = A B 2.2 逻辑代数中的三种基本运算(3) 或 条件之一具备，结果发生。 Y = A + B = A OR B 2.2 逻辑代数中的三种基本运算(4) 非 条件不具备，结果发生。 = NOT A 2.2 逻辑代数中的三种基本运算(5) 几种常用的复合逻辑运算 2.2 逻辑代数中的三种基本运算(6) 异或 Y = A ? B = AB’ + A’B 2.2 逻辑代数中的三种基本运算(7) 同或 Y = A ⊙ B = AB + A’B’ 2.3.1 基本公式(1) 2.3.1 基本公式(2) 公式(17)的证明（公式推演法） 2.3.1 基本公式(3) 公式(17)的证明（真值表法） 2.3.2 若干常用公式 2.4.1 代入定理(1) 在任何一个包含A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式依然成立。 2.4.1 代入定理(2) 例如： 式(17) A + BC = (A + B)(A + C) A + B(CD) = (A + B)(A + CD) = (A + B)(A + C)(A + D) 2.4.1 代入定理(3) 例如： 式(18) 2.4.2 反演定理(1) 对任一逻辑式 规则 先括号，然后乘（与），最后加（或）。 不属于单个变量的上的非号保留不变。 2.4.2 反演定理(2) 例如： 2.4.3 对偶定理(1) 若两逻辑式相等，其对偶式也相等 对偶式 2.4.3 对偶定理(2) 2.5.1 逻辑函数 若以逻辑变量为输入，运算结果为输出，则输入变量值确定以后，输出的取值也随之而定，输入/输出之间是一种函数关系 Y=F(A,B,C,······) 在二值逻辑中，输入/输出都只有两种取值0/1。 2.5.2 逻辑函数的表示方法(1) 各种表示方法之间可以相互转换。 真值表 逻辑式 逻辑图 波形图 卡诺图 计算机软件中的描述方式 2.5.2 逻辑函数的表示方法(2) 真值表 2.5.2 逻辑函数的表示方法(3) 逻辑式 将输入/输出之间的逻辑关系用与/或/非的运算式表示就得到逻辑式。 逻辑图 用逻辑图形符号表示逻辑运算关系，与逻辑电路的实现相对应。 波形图 将输入变量所有取值可能与对应输出按时间顺序排列起来画成时间波形。 2.5.2 应用举例(1) 举重裁判电路 2.5.2 应用举例(2) 2.5.2 各种表示方法间的相互转换(1) 真值表 逻辑式 例如：奇偶判别函数 A=0,B=1,C=1使 A′BC=1 A=1,B=0,C=1使 AB′C=1 A=1,B=1,C=0使 ABC′=1 所以 Y = A′BC + AB′C + ABC′ 2.5.2 各种表示方法间的相互转换(2) 真值表 逻辑式 找出真值表中使 Y = 1 的输入变量取值组合。 每组输入变量取值对应一个乘积项，其中取值为1的写原变量，取值为0的写反变量。 将这些变量相加即得 Y。 逻辑式 真值表 把输入变量取值的所有组合逐个代入逻辑式中求出Y，列表。 2.5.2 各种表示方法间的相互转换(3) 逻辑式 逻辑图 用图形符号代替逻辑式中的逻辑运算符 例如： 2.5.2 各种表示方法间的相互转换(4) 逻辑图 逻辑式 从输入到输出逐级写出每个图形符号对应的逻辑运算式 例如： 2.5.2 各种表示方法间的相互转换(5) 波形图 真值表 从波形图上找出每个时间段里输入变量与函数输出的取值 将这些输入、输出取值对应列表 真值表 波形图 将真值表中所有的输入变量与对应的输出