[高等教育]第一章6-8节--数字逻辑基础.pptVIP

第六节 逻辑代数基础 定律和定理的证明 方法1：真值表法 例1：证明反演定律 方法2：代数法 例2：证明吸收律 证： 二、逻辑代数的三个基本规则 规则之一： 代入规则 对于任何一个逻辑等式，以某个逻辑变量或逻辑函数同时取代等式两端任何一个逻辑变量后，等式依然成立。 例如，将 中用 去代替等式中的 ，则新的等式仍成立： 规则之二： 反演规则 反演规则的目的是为了求非函数。 反演规则的内容： 将一个逻辑函数 进行下列变换： ·→+ + →·  0 → 1 1 → 0  原变量 → 非变量（ ） 非变量 → 原变量（ ） 所得新函数表达式叫做 的非函数，用 表示。 注意：（1）维持原来的运算优先级不变。 （2）改变非号仅针对单个变量。 规则之三：对偶规则  L是一个逻辑表达式，进行下列变换： ·→＋，＋ →· 0 → 1，1 → 0所得新函数表达式叫做L的对偶式，用 L’表示。 第七节 逻辑函数的五种描述方法 最小项和最小项表达式 最小项定义（minterm） 最小项的性质: 对于任意一个最小项，输入变量只有一组取值使其值为1，而在变量取其他各组值时，这个最小项的值都是0。每一个最小项对应了一组取值组合。 一组输入变量取值只能使一个最小项的值为1。 任意两个最小项之积恒为0 全体最小项之和恒为1 最小项的编号：把与最小项对应的那一组变量取值组合（最小项中的原变量对应的取值为1，非变量对应的取值为0）当作二进制数，与其对应的十进制数，就是该最小项的编号。 为什么要对最小项进行编号？当自变量的个数较多时，逻辑表达式写起来会很麻烦，用最小项编号的形式会很简单。这是一种人为想出来的办法。 逻辑函数的最小项表达式 由真值表写出最小项表达式 三、卡诺图 （一）卡诺图的结构 1．两变量逻辑函数的卡诺图 2. 三变量逻辑函数的卡诺图 五变量逻辑函数的卡诺图 六变量逻辑函数的卡诺图 用卡诺图表示逻辑函数 第八节 逻辑函数的化简 一、 逻辑函数的代数化简法 逻辑函数的两种化简方法：代数法、卡诺图法 化简的目的：易于用电路实现，降低成本，可靠性高 最简的定义：（以二级与或电路为对象） 首先：乘积项的个数最少（与门的个数最少，即或门的输入端数最少） 在上述条件下，每个乘积项中的变量数目最少（与门的输入端数最少） 重要概念：逻辑相邻 两个最小项（乘积项）相比，如果只有一个变量不同（即该变量在两个最小项中分别以原变量和非变量出现），其余变量均相同，则称这两个最小项为逻辑相邻，简称相邻项。 逻辑相邻的两个最小项进行“或”运算时，可以消去那个不同的变量因子。 举例 ： 重要概念：几何相邻 在卡诺图中，任意两个方格（最小项） 相接（紧挨着） 相对（任意一行或一列的两头） 则称这两个方格（最小项）为几何相邻。 逻辑相邻、几何相邻的关系 在卡诺图中的几何相邻的两个乘积项，一定是逻辑相邻的！ 卡诺图中的几何相邻，直观，易观察 逻辑相邻有时不是特别容易观察 从逻辑函数的其它形式得到卡诺图表示形式 1．从真值表到卡诺图 2．从逻辑表达式到卡诺图 用卡诺图合并最小项的原则（画圈的原则） （1）尽量画大圈，要特别注意对边相邻性和四角相邻性。 （2）每个圈内只能含有2n（n=0,1,2,3……）个方格。 （3）圈的总个数尽量少。 （4）卡诺图中所有取值为1的方格 均要被圈过，即不能漏下。 （5）在新画的包围圈中至少要含有1个末被 圈过的方格，否则该包围圈是多余的。 （6）最后一定要检查，可能会有多余的圈。 无关项的含义 在有些逻辑函数中，输入变量的某些取值组合不会出现， 或者一旦出现，逻辑值可以是任意的。这样的取值组合所对应的最小项称 为无关项、任意项或约束项。 讨论无关项的唯一目的就是为了化简。 例2：用三个输入变量A，B，C分别来表示电梯的上升，下