第1章逻辑代数基础.ppt

详见前言 * * * 当变量为n个时，则可用数学归纳法加以证明 * 这样，只要对上表中的相邻两个组之间二进制数进行比较，便可找出所有能合并的二进制数。 顺便指出，上表中的同一组内或不相邻两组之间的二进制数肯定不能合并，故不必再考虑。 * 表中各列内标有√号的两个二进制数可以合并，其结果记在本列的最后一行内。 为下文叙述方便，把第一次化简结果称为一次乘积项，其项号由两个最小项项号(i,j)组成，记为i(j-i)其中i为两个最小项中的小项号，j为大项号，故(j-i)称为项号差。带有一个“-”号的二进制数所代表的乘积项就是一次乘积项。 * 计算机科学与技术学院 1. 列表化简法求素项的基本原理 两个可合并的最小项只有一个变量不同。如果用二进制数表示最小项，则这两个二进制数只有一位不同，如下列所示： 表示该位置上的变量被消去 * 计算机科学与技术学院 列表化简法求素项的基本原理(续1) 同理，对于带有一个“-”的两个二进制数，若只有一位值不同(0与1)，则此两个二进制数又可进一步合并，得到一个带有两个“-”的二进制数 * 计算机科学与技术学院 列表化简法求素项的基本原理(续2) 列表化简法求素项的基本原理 逐次合并代表最小项或乘积项的只有一位数值不同的两个二进制数，所得的不能再合并的二进制数，其对应的乘积项，即为素项。 * 计算机科学与技术学院 示例1 设逻辑函数为F(A,B,C,D)=∑(0,5,7,8,9,10,11,14,15) 由于两个可合并的二进制数只有一位值不同，所以这样的两个二进制数中“1” (或“0”)的个数之差必为1 将上述二进制数按其“1’’的个数分组，每组内的二进制数是按其项号大小顺序排列。 * 计算机科学与技术学院 示例1(续1) 只要对上表中的相邻两个组之间二进制数进行比较，便可找出所有能合并的二进制数。 顺便指出，上表中的同一组内或不相邻两组之间的二进制数肯定不能合并，故不必再考虑。 * 计算机科学与技术学院 示例1(续2) 第一次化简结果称为一次乘积项，用带有一个“-”号的二进制数表示。 各列内标√的两个二进制数可合并，结果记在本列最后一行。 由两个最小项项号(i,j)组成，记为i(j-i)。其中i为两个最小项中的小项号，j为大项号，(j-i)称为项号差。 * 计算机科学与技术学院 示例1(续3) 进一步对所得的一次乘积项进行合并，第二次化简结果称为二次乘积项，可用带有两个“-”的二进制数表达。 一次乘积项中项号小的最小项的组号 括号外为最小项的小项号括号内为两次项号差 不能与其他一次乘积项合并，已是素项，记为a。同理b，c也是素项。 相同 相同 * 计算机科学与技术学院 示例1(续4) 最后，对所找到的两个二次乘积项进行比较，以确定它们能否合并为三次乘积项。 不能合并，故它们也是F的素项 * 计算机科学与技术学院 示例1(续5) 通过上述步骤，求得给定函数F的全部素项为 即 还需找出给定函数的实质素项 * 计算机科学与技术学院 2.列表化简法的基本步骤 第一步：建立素项产生表，找出给定函数的全部素项，如上示例所述。 第二步：建立实质素项产生表，找出给定函数的实质素项。当给定函数的实质项集不能覆盖该函数的全部最小项时，还需做第三步。 第三步：进一步从素项集中挑出所需素项，建立所需素项产生表以构成函数的最简素项集。 * 计算机科学与技术学院 示例1(续6) 用列表法化简函数F(A,B,C,D)=∑(0,5,7,8,9,10,11,14,15) 1. 建立素项产生表，找出给定函数的全部素项(小结) * 计算机科学与技术学院 示例1(续7) 2. 建立实质素项产生表，找出给定函数的实质素项： 逐行用“×”标上各素项覆盖最小项的情况。 逐列检查标有“×’’的情况，凡只标有一个“×”的列即为实质最小项，在该“×”的外面打一个圈(即 )。 找出含有 的各行，这些行的素项就是实质素项，并在其前加上标记“*”。 在表的最后一行“覆盖情况” 中，标上实质素项覆盖最小项的情况。凡能被实质素项覆盖的最小项，在最后一行的该列上打√号。 * 计算机科学与技术学院 例1的实质素项产生表 * 计算机科学与技术学院 示例1(续8) 由表1.7可知，选取实质素项a、b、d、e后，即可将F的全部最小项覆盖，故F的最简式为： 该结果与卡诺图化简法的结果相同。 详见P27-式(1.53) * 计算机科学与技术学院 问题 如前所述，当给定函数的实质项集不能覆盖该函数的全部最小项时，还需进一步从素项集中挑出所需素项，以构成函的最简素项集。 下面所举之例，着重说明选取所需素项的方法 * 计算