数字逻辑实用教程.ppt

定理2：香农(Shannon)定理 f ( X1,X2,···,Xn, 0 , 1 , + , · ) = f ( X1,X2, ···,Xn, 1 , 0 , · , + ) 该定理可叙述如下：任何函数的反函数，可通过对该函数的所有变量取反，并将常量 1 换为 0 ，0 换为 1 ，“ · ”运算换为 “ + ”运算，“ + ”运算换为 “ · ”运算而得到。 定理3：对偶定理 对偶函数定义： 设有逻辑函数f（X1,X2,···Xn, 0 , 1 , + , · ) ,若把该函数中的 “ · ” 运算换为 “ + ” 运算， “ + ” 运算换为 “ · ” 运算，0换为1，1换为0，而变量保持不便，则所得函数称为原来函数的对偶函数，记为 f（X1,X2,···Xn, 0 , 1 , + , · ) 显然，按此定义必有 f ′ (X1,X2,···Xn, 0 , 1 , + , · ) = f（X1,X2,···Xn, 1 , 0 , · ,+ ) 对偶定理公式： f ′ (X1,X2,···Xn, 1 , 0 , · ,+ ) = f（X1,X2,···Xn, 1 , 0 , · ,+ ) 1.3.2逻辑代数的常用公式 公式1： A B + A B = A 公式2：A + A B = A 公式3：A + A B = A + B 公式4： A B + A C + B C = A B + A C 公式5：AB + A B = AB + A B 补充公式 吸收律：消除多余变量，化简逻辑函数。 *1.3.3定理及常用公式的应用举例 例. 化简逻辑函数 Z(A,B,C,D,E,F)=A+AB+AC+BD+ACEF+BE+EDF 应用公式2，可消去 AB 和 ACEF 项，得 Z=A+AC+BD+BE+EDF 应用公式3，可消去AC中的A，得 Z=A+C+BD+BE+EDF 应用公式4，可消去 EDF，得 Z=A+C+BD+BE 1.4逻辑函数的化简 1.4.1 逻辑函数最简式的定义 一个与给定函数等效的积之和式中，若同时满足：①该式中的乘积项最少。②该式中的每个乘积项再不能用变量更少的乘积项代替，则此积之和式是给定函数的最简式。 例如，逻辑函数的下列表达式中，式(1.48)是最简式： F(A,B,C)=AB+BC+AC =AB+C =ABC+ABC+ABC+ABC+ABC (1.48) 1.4.2 代数化简法 运用逻辑代数的基本公式和运算规则对函数式进行等效变换，消除多余项和多余变量，以其获得最简表达式的方法称为代数化简法。代数化简法没有一个成熟的模式可以借鉴，只有多多练习，熟能生巧。 一、与或式的化简 二、或与式的化简 例：F = (A+B)(A+B)(B+C)(B+C+D) 解： F = (A+B)(A+B)(B+C)(B+C+D) =（A+B)(A+B)(B+C) = A(B+C) 例：F = (A+B)(A+B)(B+C)(A+C) 解： F′ = AB+AB+BC+AC = AB+AB+(B+A)C =AB+AB+ABC =AB+AB+C F=(F′ )′=(A+B)(A+B)C 1.4.3　卡诺图化简法 将 n 变量的全部最小项用一个小方块表示，并使具有逻辑相邻性的最小项在几何位置上也相邻地排列起来，所得到的图形叫做 n 变量最小项的卡诺图。 卡诺图化简规则 ⑴卡诺图中小方格的相邻 ① 几何相邻 ---- 各小方格有共同边界； ② 相对 ---- 分别处于行（或列）两端的小方格相邻； ③ 相重 ---- 相邻的两幅卡诺图，处于相同位置的小 方格相邻。 ⑵ 卡诺图中相邻小方格画圈的规则 　① 任何一个标“1”的小方格画一个圈，不消除变量。② 任何两个标“1”的小方格画一个圈，消除一个变量。③ 任何四个标“1”的小方格画一个圈，消除两个变量。④ 任何八个标“1”的小方格画一个圈，消除三个变量。⑤ 任何十六个标“1”的小方格画一个圈，消除四个变量。 ⑶ 卡诺图蕴涵项的意义 ① 蕴涵项 ② 素项（素蕴涵项） ③ 实质素项（实质蕴涵项） 蕴涵项 素项 实质素项(左图最简) 数字逻辑实用教程 王玉龙 编著 目录： 1.1 逻辑变量及其基本运算 1.2 逻辑函数及其基本形式 1.3 逻辑代数的主要定理及常用公式 1.4 逻辑函数的化简 第一章 逻辑代数基础 1.1 逻辑变量及其基本运算 描述事物状态的逻辑数必因事物状态变化而变化，叫做逻辑变量。例如开关电路中表示开关和灯的逻辑数都是逻辑变量。 1.1.1　逻辑变量 定义： 逻辑变量规定 : (