[数学]第2章 逻辑代数基础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.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.3 逻辑函数的两种标准形式(1) 最小项 m m是乘积项。 包含n个因子。 n个变量均以原变量或反变量的形式在m中出现一次。 对于n变量函数有2n个最小项。 2.5.3 逻辑函数的两种标准形式(2) 例如： 两变量A，B的最小项 三变量A，B，C的最小项 2.5.3 逻辑函数的两种标准形式(3) 最小项的编号 2.5.3 逻辑函数的两种标准形式(4) 最小项的性质 在输入变量任一取值下，有且仅有一个最小项的值为1。 全体最小项之和为1。 任何两个最小项之积为0。 两个相邻的最小项之和可以合并，消去一对因子，只留下公共因