数字电子技术及应用李继凯杨艳第3章逻辑代数课件教学.pptVIP

基本概念 逻辑：事物的因果关系 逻辑运算的数学基础：逻辑代数 在二值逻辑中的变量取值： 0/1 公式（9）的证明（真值表法）： 3.1.3 逻辑代数的基本定理 1.代入定理 ------在任何一个含有某变量的逻辑等式中，若将所有出现该变量的地方都代之同一个函数，该等式仍然成立 。 文字描述 真值表 逻辑式 逻辑图 波形图 卡诺图 硬件描述语言 各种表示方法之间可以相互转换 2 真值表 3 逻辑函数（表达）式 将逻辑函数中输出变量与输入变量之间的逻辑关系用与、或、非三 种运算符号连接起来的表达式 三变量的最小项编号 对于变量的任一组取值，有且只有一个最小项取值为1。 任意两个最小项之积为0 。 全部最小项之和为1 。 具有逻辑相邻的两个最小项之和可以合并为一项，并消去不相同的那个变量。 ------相邻性：两个最小项彼此之间除了有一个变量不同外,其余变量均相同。 三变量的最大项编号 对于变量的任一组取值，有且只有一个最大项取值为0。 任意两个最大项之和为1 。 全部最大项之积为0 。 具有逻辑相邻的两个最大项相乘可以合并为一项，并消去不相同的那个变量。 用卡诺图化简逻辑函数的步骤： 1. 用卡诺图表示逻辑函数 2. 将卡诺图中按矩形排列的 相邻的1圈成若干个相邻 组，原则是： 3. 化简后的乘积项相加 PPT研究院 POWERPOINT ACADEMY * * 3.3.2 卡诺图法化简 1. 卡诺图的构成 各个小方格间是按照逻辑上的“循环相邻性”排列的。 n个变量逻辑函数的卡诺图在结构上是由 个小方格组成的矩形图，每个小方格分别对应表示一个最小项。 二变量卡诺图 三变量的卡诺图 四变量的卡诺图 五变量的卡诺图 2. 用卡诺图表示逻辑函数 将函数表示为最小项之和的形式 。 在最小项的卡诺图上与函数式中包含的最小项所对应位置上填入1，在其余的位置上填入0。 3. 逻辑函数的卡诺图化简法 依据：具有相邻性的最小项可合并，消去不同因子。 在卡诺图中，最小项的相邻性可以从图形中直观地反映出来。 这些相邻组必须覆盖卡诺图上所有的1。 每个相邻组中至少有一个1不包含在其他相邻组内。 相邻组的数目应最少。 每个相邻组应包含尽可能多的1。 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3.3.3 具有无关项的逻辑函数及其化简 1. 无关项的概念 （1）约束项 约束项是指输入变量的某些取值在工作过程中始终不会出现，我们把这些输入变量取值下等于1的最小项称作约束项。约束条件可以用全部约束项之和等于0来表示。 例如，在进行考核时，以变量A、B、C表示考核的等级，其中ABC=001表示称职，ABC=010表示基本称职，ABC=100表示不称职，则ABC的其它组合000、011、101、110、111不表示任何含义，即在输入变量的组合中不会出现。 （2）任意项 有时也会遇到另外一种情况，即在某些输入变量取值下，函数值是1是0无所谓，并不影响电路的功能。因为这些项的取值是1是0对函数输出没什么影响，换言之，可允许它们任意取值，所以又称之为“任意项”。 约束项和任意项统称为逻辑函数式中的无关项。 2. 利用无关项化简逻辑函数 1 1 1 1 1 1 1 1 x x x x 1 1 1 1 1 x x x x x x 第3章 习题 3.2 3.3(a) 3.4(3) 3.5 3.6(1,3,5,7,8,10,13) 3.7(2,3) 3.8 在线教务辅导网： 更多课程配套课件资源请访问在线教务辅导网 馋死 *科学出版社 数字电子技术及应用 第3章 逻辑代数基础 逻辑代数的公式与基本定理 3.1 逻辑函数及其表示方法 3.2 逻辑函数的化简 3.3 3.1.1 基本公式 3.1 逻辑运算 反演律 18 9 分配律 A+B·C =(A+B) ·(A+C) 17 A·(B+C)=A·B + A·C 8 结合律 A+(B+C)=(A+B)+C 16 A·(B·C) = (A·B)·C 7 交换律 A+B=B+A 15 A·B=B·A 6 互补律 14 5 重叠律 A+A=A 13 A·A= A 4 还原律 12 3 0-1律 A+0=A 11 A·1=A 2 0-1律 A+1=1 10 A·0=0 1 规 律 公 式 序号 公 式 序号 A+BC=(A+B)(A+C) 证明: 右边 =(A+B)(A+C) =AA+AB+AC+BC ; 分配律