第2章逻辑代数和逻辑函数研究报告.ppt

第二章 逻辑代数和逻辑函数 2.1 基本逻辑运算 2.2 逻辑函数的变换和化简 2.3 逻辑函数的卡诺图化简法 2.1 基本逻辑运算 2. 基本运算定律 3. 基本运算规则 2.2 逻辑函数的变换和化简 2.2.2 逻辑函数的变换和化简 2.2.2 逻辑函数的变换和化简（公式法） 利用公式法进行化简的问题： 复杂 技巧性强 是否最简尚不得而知 一、最小项 2.3 逻辑函数的卡诺图化简法 以三变量的逻辑函数为例分析最小项表示及特点 二、最大项 三、最大项和最小项之间的关系 2.3.2 逻辑函数的两种标准形式 2. 最大项之积形式 2.3.3 卡诺图 卡诺图：将n个输入变量的全部最小项用小方块阵列图表示，并且将逻辑相邻的最小项放在相邻的几何位置上，所得到的阵列图就是n变量的卡诺图。 表示最小项的卡诺图 表示最小项的卡诺图 2.3.4 逻辑函数的卡诺图表示 从真值表到卡诺图：对应填写 2.3.4 逻辑函数的卡诺图表示 从函数式到卡诺图： 2.3.5 逻辑函数的卡诺图化简 2. 卡诺图化简的步骤 例3：化简 3. 具有无关项的逻辑函数及其化简 （2） 具有无关项的逻辑函数及其化简 例6：利用卡诺图化简逻辑函数 2.5 逻辑函数门电路的实现 方法： 1. 化简函数式，得最简形式 2. 根据提供的器件类型不同，将函数变换为不同形式，如只提供与非门，则根据反演定理将函数变换为与非—与非形式。 例： 解： 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 AB CD 00 01 11 10 00 01 11 10 F 例4：化简逻辑函数 解：由Y画出卡诺图，得出 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 AB CD 00 01 11 10 00 01 11 10 F 想一想：能否圈 0？ 举例说明：三个逻辑变量A、B、C分别表示 一台电动机的正转、反转和停止的命令。 A=1 表示正转，B=1 表示反转， C=1 表示停止可能取值只有001，010，100当中的某一种，这种对输入变量取值所加的限制称为约束。 而000，011，101，110，111中的任何一种都不可能出现，可表示为： （1）约束项、任意项和逻辑函数式中的无关项 约束项：这些恒等于 0 的最小项是由于函数对输入变量取值所加的限制而产生的，根本不会出现，故写进函数式中不会改变函数值。 或 任意项：在输入变量的某些取值下函数值是1是0皆可，并不影响电路的功能，这些项称为任意项。 无关项：约束项和任意项的统称,常用d 表示。 约束项和任意项既可以写入函数式，也可从函数式中删掉，不影响函数值。 在真值表和卡诺图中用×（或?）表示无关项。 合并最小项时，无关项即可作为0（圈0）又可作为1（圈1），以期得到最大的圈。 例5：化简逻辑函数 约束条件： 解： × × 1 0 × × × × 0 0 0 1 1 0 0 1 AB CD 00 01 11 10 00 01 11 10 F D B A D C A AD Y + + = 解：由F画出卡诺图，得出 1 0 1 1 1 0 1 1 1 0 × 1 × 0 0 × AB CD 00 01 11 10 00 01 11 10 F 之所以称之为最小项，是因为该项已包含了所有的输入变量，不可能再分解。 例如：对于三变量的逻辑函数，如果某一项的变量数少于3个，则该项可继续分解；若变量数等于3个，则该项不能继续分解。 A B C 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 相邻性：若两个最小项只有一个因子不同，则这两 个最小项具有相邻性。 逻辑相邻 逻辑相邻的项可以 合并，消去一个因子 1、定义：在n变量逻辑函数中，若M为n个变量之和，而且这几个变量均以原变量或反变量的形式在M中出现一次，则称M为该组变量的最大项。 2、特点： （1）n变量的最大项应为2n个。 （2） 输入变量的每一组取值都使一个且 仅有一个对应的最大项的值等于0。 （3）全体最大项之积为0；