1、1,第二章 逻辑代数基础,2.1 逻辑代数的基本概念,2.2 逻辑代数的基本定理和规律,2.3 逻辑函数表达式的形式与变换,2.4 逻辑函数的化简,2,2.1.1 三种基本运算,前面介绍了数字信号是离散信号，其变量只有两种取值，故称双值变量。,定义：逻辑代数L是一个封闭的代数系统，它由一个逻辑变量集K、常量0和1以及“逻辑乘(与)”、 “逻辑加(或)”、“逻辑反(非)”三种基本运算所构成，记为： L= K , + , , - , 0 , 1 ,一、逻辑代数的定义,3,二、逻辑代数的三个基本运算,若定义开关闭合为1，断开为0。灯亮为1，灯灭为0。,1、与运算,4,即 Ff(A，B)AB=ABAB
2、,定义：某个事件受若干个条件影响，若所有的条件都齐备，该事件才能成立，这样的逻辑关系被称为逻辑乘(与)。,实现逻辑乘的逻辑电路称为与门。,与门的逻辑符号为：,5,若定义开关闭合为1，断开为0。灯亮为1，灯灭为0。,2、或运算,6,或门的逻辑符号为：,实现逻辑加的电路称或门。,即：Ff(A，B)ABAB,定义：一个事件的成立与否有许多条件，只要其中一个或几个条件成立，事件便成立，这样的逻辑关系被称逻辑加（或）。,7,3、非运算,若定义开关闭合为1，断开为0。灯亮为1，灯灭为0。,8,非门的逻辑符号为：,完成逻辑反运算的电路称非门。,定义：一个事件的成立取决于条件的否定，即事件与事件的成立条件之间
3、构成矛盾，这样的逻辑关系称逻辑反（非）。,9,2.1.2逻辑函数及逻辑函数间的相等,一、逻辑函数的定义,(1)逻辑变量和逻辑函数的取值只有0和1。,(2)函数和变量之间的关系由“与、或、非”三种基本运算决定。,设某一逻辑电路的输入为A1A2An，输出函数为F，当A1A2An的值确定之后，F的值就唯一的确定了，则称F为A1A2An的逻辑函数。记为： Ff(A1A2An),10,二、逻辑函数的相等,设有F1f1(A1A2An)、F2=f2(A1A2An)如果对应A1A2An的任一组取值，F1和F2的值都相等，则称F1和F2相等。计为F1F2 。,判断两个逻辑表达式是否相等的方法有：,1、列表法,2
4、、利用逻辑代数的公理、定理和规则证明。,11,2.1.3 逻辑函数的表示方法,一、真值表,二、逻辑函数表达式,三、卡诺图,四、时序图、时间图,主要用于直观的观察变量和函数之间的关系 *,主要用于获得逻辑电路图 *,主要用于逻辑函数化简,主要用于工作波形图 *,12,2.2.1 逻辑代数的基本定理,一、公理,2.2 逻辑代数的基本定理和规律,13,三、交换律,二、公式(可由公理推出),14,四、结合律,五、分配律,A(BC)=(AB)C=(AC)B,A+(B+C)=(A+B)+C=(A+C)+B,A(B+C)=AB+AC,A+BC=(A+B)(A+C) 加法的分配律,15,六、摩根律,证：用真值
5、表法证明,16,七、其他常用公式,在两个乘积项中，若有一个变量是互反的，那么由这两个乘积项中的其它变量组成的新的乘积项就是多余的，可以消去。,吸收律：,消去律：,其它：,17,= 右式,左式=,冗余律推广：,证明：,左式,= 右式,证明冗余律：,18,2.2.2 重要规则,任何一个含有变量A的逻辑等式，如果将所有出现A的位置都代之以同一个逻辑函数F，则等式仍然成立。,一、代入规则,例：对摩根律,令 代入式中,则：,19,以此推广得到摩根律的一般形式:,20,二、反演规则,使用反演规则时，应注意保持原函数式中的运算符号的优先顺序不变。另外不属于单个变量上的反号应保持不变。,21,例1：,例2：,
6、(直接去掉反号),其实反演规则就是摩根律的推广。,例3：,按反演规则可直接写出：,22,若用摩根律则先对原函数两边取非，得：,23,三、对偶规则,结论： 若一个定理是正确的，则其对偶式也一定正确。 若两个逻辑式相等，则它们的对偶式也相等。 (F)=F 即对对偶式再求对偶就得原函数本身。,由 F(A，B，C )求F(A，B，C ),24,利用对偶规则可以简化等式的证明。,例：试证 A+BC=(A+B)(A+C),令: F1=A+BC F2=(A+B)(A+C),求两个函数的对偶:,F1=A(B+C)=AB+AC F2=AB+AC,可知：F1= F2,所以F1=F2 得证,25,四、展开规则,一个
7、多变量函数F=f(X1,X2,Xn)，可以将其中任意一个变量，例如X1分离出来，并展开成：,上述算式之正确性的验证只要令X1=0或1分别代入便知。,26,例：试化简下列函数：,解：,27,2.2.3 几种导出(复合)的运算,工程上常用的有：与非、或非、与或非、异或、同或。,28,29,异或门的逻辑符号:,同或门的逻辑符号:,异或,30,异或和同或的真值表如下:,结论：偶数个变量的异或和同或是互反的，奇数个变量的异或和同或是相同的。,31,异或和同或的基本运算公式,32,(4) 结合律,(5) 分配律,A(B C)=AB AC,(3) 交换律,33,若 A B=C 则 A C=B 或 B C=A
8、,(6) 因果互换律,34,(7) 常用式子,35,2.2.4 正逻辑与负逻辑,各种逻辑运算最终是通过相应的逻辑门来实现的。如果把门电路的输入、输出电压的高电平赋值为“1”，低电平赋值为“0”，这种关系称为正逻辑关系。,如果把门电路的输入、输出电压的高电平赋值为“ 0”，低电平赋值为“ 1”，这种关系称为负逻辑关系。,36,同一个逻辑电路，在不同的逻辑假定下，其逻辑功能是完全不同的。,如下表：,37,如：正逻辑与门F=AB，对应负逻辑的或门F=A+B。,由上可见：同一个电路的正逻辑表达式与负逻辑表达式互为对偶式。,38,例：正逻辑的与门等价负逻辑的或门,39,2.3.1 逻辑函数表达式的基本形
9、式,一、标准与或式(积之和)、最小项和式,二、标准或与式(和之积)、最大项积式,标准式的定义：n个变量组成的函数式，其中每个变量在函数式的每一项中都必须以原变量或反变量的形式出现且仅出现一次。,如:,如:,2.3.1 逻辑函数表达式的形式与变换,40,2.3.2 逻辑函数的标准形式,一、最小项,定义：如果一个具有n个变量的函数的积项包含全部n个变量，每个变量都以原变量或反变量的形式出现一次，则这个积项称为最小项。,若一个函数完全由最小项组成，则称其为标准与或(积之和)表达式。,=,如：,在最小项中，将积项中的原变量看作1，反变量看作0。,41,最小项的几个性质,(1) n个变量一共有2n个最小
10、项，但一个函数包含几个最小项由实际问题决定。,(2) 在输入变量的任何取值下，必有一个最小项且仅有一个最小项的值为1。,如三变量ABC=101,则值为1的最小项是,(3) ，即任意两个不相同的最小项的乘积为0。,例：,42,(4) 所有最小项的和为1，即 。,(5) 对于n变量的逻辑函数，两个相邻的最小项之和，得到一个(n-1)个变量的乘积项,即消去一个变量。其中，相邻指两个最小项之间只有一个变量互反，其余相同。,例：,(6) 任一个n变量的最小项，都有n个相邻的最小项。,43,二、最大项,定义：如果一个具有n个变量的函数的“和”项包含全部n个变量，且每个变量都以原变量或反变量的形式出现一次，
11、则这个“和”项称为最大项。,如：,若一个函数完全由最大项组成，则称为标准或与(和之积)表达式。,在最大项中，将和项中的原变量看作0，反变量看作1。,44,最大项的性质,(1) 在输入变量的任何取值下，必有一个，且仅有一个最大项的值为0。,如三变量ABC101，则：,(2) ，即任意两个最大项之和为1。,例：,(3) 全体最大项之积为0，即 。,45,(4) 只有一个变量不同的两个最大项的乘积等于各相同变量之和，即消去一个变量。,例:,(5) ，即相同编号的最大项与最小项互为反函数。,例:,46,A B C 最小项 编号 最大项 编号,1 1 1 m7 M7,1 1 0 m6 M6,1 0 1
12、m5 M5,1 0 0 m4 M4,0 1 1 m3 M3,0 1 0 m2 M2,0 0 1 m1 M1,0 0 0 m0 M0,47,2.3.3 逻辑函数表达式的转换,第一步：将函数式变换成一般“与或”表达式,用代数法求一个函数的“最小项之和”的形式：,一、代数转换法,即将任意形式的表达式转换成“最小项之和”及“最大项之积”的形式。,第二步：反复使用 ，将表达式中所有非最小项的“与项”扩展成最小项。,48,用代数法求一个函数的“最大项之积”的形式：,第二步：反复利用 把表达式中非最大项的“或项”扩展成最大项。,第一步：将函数表达式转换成一般“或与”式。,49,(2)变换为标准积之和,例1:
13、 将 转换成最小项之和。,解：(1)将表达式变换成“与或”表达式,50,解：(1)将表达式变换成“或与”表达式,例2：将 变换成最大项之积。,利用加法的分配律进行折分,51,(2)变换为标准和之积表达式(反向应用最大项定理：只有一个变量互反的两个最大项的乘积等于各相同变量之和)：,52,例1：将 表示成最小项之和。,二、真值表转换法,根据真值表可得：,53,例2：将例1的式子表示成最大项之积。,54,2.4.1 公式法化简,化简的目的：降低成本；提高可靠性；提高工作速度。,最简的含义：,(2)每项中变量数最少。,化简方法:,(1)公式法(利用公理、定理和规则),(2)卡诺图法,(3)列表法,2
14、.4 逻辑函数的化简,(1)乘积项(或和项)最少；,55,一、与或式化简,1、并项法：利用定理,例1：,例2：,3、消去法：利用定理,2、吸收法：利用定理,例3：,56,4、配项法，利用 及,例4：,例5：,例6：,57,例7:,例8:,58,二、或与式化简,例1:,对于或与式的化简，可以直接用公理、定理进行化简，也可以先用对偶规则把F的或与式转换成F的与或式，化简得到F的最简与或式后，再用对偶规则把F转换成F的最简或与式。,59,例2:,60,2.4.2 卡诺图化简法,将n变量的全部最小项各用一个小方块表示，并使具有逻辑相邻的最小项在几何位置上也相邻地排列起来，所得到的图形叫n变量的卡诺图。
15、,一、用卡诺图表示最小项,61,62,63,图形两侧标注的“0”和“1”表示使对应小方格内最小项为1时的变量取值(1为原变量,0为反变量)。,同时，这些“0”和“1”组成的二进制数大小也就对应了最小项的编号。,这些数码不能按自然二进制数的顺序排列，必须排成循环码(使几何位置上相邻的最小项在逻辑上也相邻)。,64,二、卡诺图化简法,（2）按（1）将卡诺图中所有的“1”格圈完。,在卡诺图中，变量取值为0的是反变量，变量取值为1的是原变量。,（1）将最可能多的2n(n=0,1,2,)个相邻的1格圈在一起，得到一个卡诺圈，对应卡诺圈发生过变化的变量被消去，没变化过的保留，以此得到一个乘积项。,（3）将
16、所得到的乘积项相加，得到函数的最简与或式。,65,（2）每一个卡诺圈中至少要包含一个独立的“1”格，否则所得到的乘积项是多余的。,（3）2n个相邻的“1”格圈在一起,必须组成矩形或正方形。,（4）卡诺图中的卡诺圈应尽可能的少。,（1）任何一个“1”格可以多次圈用。,注意事项：,66,67,68,69,70,71,72,F7=1,73,74,75,76,77,78,在卡诺图中，圈“1”可以得到逻辑函数的最简与或表达式，而圈“0”可以得到逻辑函数的最简或与表达式。,注意：用卡诺图求最简与或表达式时，原变量为1，反变量为0；而用卡诺图求最简或与表达式时，原变量为0，反变量为1。,79,AB,CD,F
17、13,00,01,00,01,10,10,11,11,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,80,AB,CD,00,01,00,01,10,10,11,11,1,1,1,1,1,1,1,1,F14,0,0,0,0,0,0,0,0,81,AB,CD,00,01,00,01,10,10,11,11,1,1,1,1,1,1,1,1,F15,1,1,0,0,0,0,0,0,82,1、把与或式化成标准与或式填入卡诺图,三、如何用卡诺图对逻辑函数化简,例1,1,1,1,1,化简后： F=AC+AB+BC,83,2、把与或式的每一项直接填入卡诺图,例2:,1,1,1,1,1,1,1
18、,1,1,84,3、化简为或与式,例: F(A,B,C,D)=M(3,7,11,12,13,14,15),解: 将函数用“最小项之和”形式表示得:,F(A,B,C,D)=m(0,1,2,4,5,6,8,9,10),0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,85,4、利用禁止逻辑化简逻辑函数,即任何逻辑函数逻辑加上不属于它的最小项后再乘上不属于这个最小项之非，其逻辑功能不变。,86,以上图为例，则：,87,事实上，禁止逻辑也可由几个最小项组成，例如可将函数F写成 ，只要mi和mj都不属于原函数F即可。这种利用禁止项化简逻辑函数的方法，称为禁止法或阻塞法，写出的表达式叫做禁止
19、逻辑式。,例1：试用禁止法化简下列逻辑函数：,88,89,例2:试用禁止法化简下列逻辑函数,90,91,2.4.4 逻辑函数化简中两个实际问题的考虑,一、包含无关最小项的逻辑函数的化简,前面介绍了n个逻辑变量具有2n种组合，如果某个逻辑函数满足以下条件，就称该函数为具有无关项(约束项)的逻辑函数。,1、某些变量的取值不会出现。,2、某些变量的某些取值对函数无意义(无关)。,具有上述条件对应的最小项称无关项(约束项)，而所有这些约束项之和称为约束条件。,92,显然对函数而言：约束条件=0,例1：由A，B，C三个变量控制一个电机的转动。设A=1(正转)，B=1(反转)，C=1(停转)。,约束条件为
20、:,0 0 0,0 0 1,0 1 0,0 1 1,1 0 0,1 0 1,1 1 0,1 1 1,93,例2: 试设计一个对8421BCD码的检测电路。当8421BCD码对应的十进制数3X7时输出为“1”，否则输出为“0”。,1 0 0 0,0 0 0 0,1 0 0 1,0 0 0 1,1 0 1 0,0 0 1 0,1 0 1 1,0 0 1 1,1 1 0 0,0 1 0 0,1 1 0 1,0 1 0 1,1 1 1 0,0 1 1 0,1 1 1 1,0 1 1 1,0,0,0,0,d,0,1,1,1,1,1,d,d,d,d,d,94,95,96,二、多输出函数的化简,衡量多输出函
21、数最简的标准是:,1、所有逻辑表达式中包含的不同与项总数最少。,2、在满足1的前提下，各与项中所含的变量数最少。,多输出函数化简的关键是充分利用各函数间可共享的部分。,97,作出两函数的卡诺图如下:,例1:,这样，两个函数式共享 ，使电路得到简化。,98,下面给出合并公共项前和合并公共项后的电路对照图。,99,例2:,100,根据卡诺图可得化简后的逻辑函数:,101,习题（P42）：4（2）、9、21,102,A B C F0 0 0 00 0 1 0 0 1 0 00 1 1 11 0 0 01 0 1 11 1 0 11 1 1 1,返回,F=AB+AC+BC,103,A,B,F,返回,F=AB,
