第1章 逻辑代数基础知识课件.pptVIP

1.4 逻辑代数中的基本公式、定理和规则 1.4.1 基本公式 1.常量和常量的公式 ①与运算 ②或运算 ③非运算 （1.4.3） 　 （1.4.1） 　　 （1.4.2） 2.常量和变量的公式 ①0、1律 （1.4.4） （1.4.5） （1.4.6） ②互补律 3.变量和变量的公式 ①交换律 （1.4.7） （1.4.8） （1.4.9） （1.4.10） （1.4.11） （1.4.12） ⑥反演律 (摩根定律) ⑤非非律 (还原律) ④重叠律 ③分配律 ②结合律 4．若干常用公式 （1）并项公式 AB+ AB =A (A+B)(A+B) =A （2）吸收公式 （1.4.13） A+AB=A A(A+B)=A （1.4.14） （3）消去公式 A+ AB =A+B A(A+ B) =AB （1.4.15） （4）多余项公式 （1.4.16） 【例1.4.1】 利用逻辑代数的基本定律证明多余项公式。 证： 3．逻辑函数的最简表达式 最简表达式归纳起来，可以分为以下5种形式。 （1）最简与或式 （2）最简与非-与非式 （3）最简与或非式 （4）最简或与式 （5）最简或非-或非式 【例1.5.1】 求 其它几种形式的最简表达式 。 1.5.2 逻辑函数的公式化简法 公式法化简就是利用逻辑代数的基本公式、基本规则和常用公式来简化逻辑函数的。常见的方法有 1.并项法 2.吸收法 3.消去法 4.配项法 5.取消法 【例1.5.2】 利用代数法化简 并将结果变换为与非-与非式。 解： 1.5.3 逻辑函数的图形化简法 1．用卡诺图表示逻辑函数 （1）卡诺图的构成及其特点 卡诺图是逻辑函数的另一种表示方法， 是真值表的一种特定的图示形式。 将真值表中的每一行，在卡诺图中都用一个小方格来代替， 也就是卡诺图中的每一个小方格都对应一个最小项。 所以卡诺图又称最小项方格图。 图1.5.1 卡诺图的构成 【例1.5.3】 利用卡诺图求的最简与或式和反函数的最简与或式。 1.5.4 具有约束的逻辑函数的化简 1．约束、约束项和有约束的逻辑函数 约束指的是逻辑函数的各个变量之间所具有的相互制约的关系。我们把这样的变量称为具有约束的逻辑变量，而这些不允许出现，或不可能出现的取值组合所对应的最小项统称为约束项。由有约束的变量所决定的逻辑函数，叫做有约束的逻辑函数。约束项可以用di表示，其中下标i = 0 ～（2n?1）为最小项的编号，在列真值表或填卡诺图时，将约束项所对应的函数值记作“×”、或 。 2．约束条件和具有约束的逻辑函数的表示方法 将所有约束项相加所构成的函数值恒为零的逻辑表达式叫 做“约束条件”，记做 。 3．具有约束的逻辑函数的化简方法 约束项的逻辑函数参与化简，用X表示，既可以取0，也可以取1，视需要而定。 【例1.5.16】 利用图形法化简下列具有约束的逻辑函数。 1.6 逻辑函数的表示方法及其相互之间的转换 1.6.1 逻辑函数的几种表示方法 1.真值表 2.逻辑函数表达式 3.逻辑图 4.卡诺图 5.波形图 1.6.2 5种表示方法的转换 逻辑函数的5种表示方法，是完全一一对应的关系，只要知道其中的任意一种表示形式，都可以方便地得到其他4种表示形式。 逻辑函数的表示方法 逻辑函数：输出变量和输入变量之间是一种函数关系。 当输入变量取值确定之后，输出变量取值便随之而定. 逻辑函数的表示方法：逻辑函数式、逻辑真值表、逻辑电路图和 卡诺图,波形图。 如:1、逻辑函数式:Y=A+B+C