[理学]2 逻辑代数基础.pptVIP

第2章 逻辑代数基础 2.1 概述 2.4 逻辑代数的基本定理 2.4.1 代入定理 在任何一个包含A的逻辑等式中，若以另外一个逻辑式代入式中A的位置，则等式依然成立。 2.4.1 代入定理 应用举例： 式（17） A+BC = (A+B)(A+C) A+B(CD) = (A+B)(A+CD) = (A+B)(A+C)(A+D) 2.4.1 代入定理 应用举例： 公式 （8） 2.4 逻辑代数的基本定理 2.4.2 反演定理 -------对任一逻辑式 2.4.2 反演定理 应用举例： 2.5 逻辑函数及其表示方法 （4）波形图 将输入变量所有可能取值与对应输出值按时间顺序排列起来，画成时间波形 例：将逻辑函数Y=A’B+AC化为最大项之积的形式 解：Y=A’B+AC=A’B(C+C’)+A(B+B’)C =A’BC+ A’BC’+ABC+AB’C =∑m(3,2,7,5)=(∑m(3,2,7,5))’’ =(1- ∑m(3,2,7,5))’ = (∑m(0,1,4,6) )’ =m0’ ?m1’ ?m4’ ?m6 ’ =M0 ?M1 ?M4 ?M6 =∏M(0,1,4,6) 2.7.1 约束项 例，有三个逻辑变量A，B，C，分别表示一台电机的正转、反转和停止命令 A=1表示正转，B=1反转，C=1停止 三种工作状态的逻辑函数： Y1=AB’C’ （正转） Y2=A’BC’ （反转） Y3=A’B’C （停止） 任何时候只能执行一种命令，所以： A’B’C’ =0 A’B C =0 A B’C =0 或 A’B’C’ + A’B C + A B’C + A B C’ + A B C=0 A B C’ =0 A B C =0 这些恒等于0的最小项称为函数Y1，Y2，Y3的约束项。 作业 2.5 逻辑函数及其表示方法 最大项的性质： a) 对应任意一组输入变量取值，有且只有一个最大项值为0； b) 任意两个最大项之和为1； c) 全体最大项之积为0； d) 具有逻辑相邻性的两个最大项相乘，可合并为一项，并消去一个不同因子。 将函数式化成最大项积的形式的方法为： 首先化成最小项和的形式，然后直接写成除了这些最小项编号以外的最大项积的形式。 M0=m0’ , M1=m1’ , M2=m2’…… 2.5 逻辑函数及其表示方法 例：将函数式化成最大项积的形式。 解： 2.5 逻辑函数及其表示方法 4. 逻辑函数形式的变换 其他表达式 与非-与非式： C A B A F = 或-与非式： ) )( ( C A B A F + + = 或非-或式： D C B A F + + + = 或非-或非式： C A B A F + + + = 与或非式： CD AB F + = 与非-与式： C A AB F ? = 例：（P38-39） 2.6 逻辑函数的化简方法 2. 公式化简法 1. 最简与或表达式 表达式中的乘积项最少； 乘积项中含的变量少。 ? 并项：利用AB+AB’=A将两项并为一项，且消去一个变量B。 ? 吸收： 利用A+AB = A消去多余的项AB。 ? 消项：利用AB+A’C+BC=AB+A’C、AB+A’C+BCD=AB +A’C消去多余项BC或BCD。 ? 消元：利用A+A’B=A+B消去多余变量A。 ? 配项：利用A+A=A或A+A’=1进行配项。 2.6 逻辑函数的化简方法 并项：利用AB+AB’=A将两项并为一项，消去变量B。 吸收： 利用A+AB = A消去多余的项AB。 2.6 逻辑函数的化简方法 消项：利用AB+A’C+BC=AB+A’C、AB+A’C+BCD=AB+A’C消去多余项BC或BCD。 消元：利用A+A’B=A+B消去多余变量A。 2.6 逻辑函数的化简方法 配项：利用A+A=A或A+A’=1进行配项。 2.6 逻辑函数的化简方法 逻辑函数的卡诺图化表示法 3. 卡诺图化简法 用各小方块表示n变量的全部最小项，并使具有逻辑相邻性的最小项在几何位置上也相邻地排列起来，所得图形称为n变量最小项的卡诺图。 二变量卡诺图 三变量卡诺图 2.6 逻辑函数的化简方法 五变量卡诺图 四变量卡诺图 函数式转换成卡诺图：首先将该函数式化成最小项和的形 式；然后将该函数式中包含的最小项在卡诺图相应位置处填1，其余位置处填0。 逻辑函数式和卡诺图之间的相互转换 2.6 逻辑函数的化简方法 2.6