逻辑代数及其化简北京理工大学精讲.ppt

* 例2-15 已知逻辑函数F的真值表如下图所示，试用Multisim 2001求出F的逻辑函数式，并将其化简为最简与或形式。 * 启动Multisim 2001以后，选择仪表工具栏中的“Logic Converter”（逻辑转换器），点击逻辑转换器图标“XLC1”，弹出下图所示的逻辑转换器操作窗口“Logic converter –XLC1”。 * 点击上图“Conversions”选项中的第三个按钮，便可得到最简与或式。 化简结果出现在操作窗口底部一栏中，如下图所示。 * 从上图可以看到，利用“Conversions”选项中的六个按钮，可以在逻辑函数的真值表、最小项之和形式的函数式、最简与或式以及逻辑图之间任意进行转换。 * 本章小结 本章首先介绍了计算机等数字设备中的常用数制与代码。 重点介绍了逻辑代数的公式和定理、逻辑函数的表示方法及其相互转换、逻辑函数的化简方法。 采用Multisim2001化简逻辑函数。 奎恩-麦克拉斯基化简法（Q-M法） 卡诺图化简优点：直观简单 缺点： 1）当变量数5时，不再直观； 2）需要借助经验完成化简，不便于计算机实现。（公式法同样不适合） 奎恩-麦克拉斯基化简法：利用列表方式进行化简，具有一定的规则和步骤，适用于计算机化简。 * 奎恩-麦克拉斯基化简法（Q-M法） 基本原理：通过合并相邻最小项消去多余因子，求得逻辑函数的最简“与或”式。 * 例： 步骤1 将函数化为最小项之和形式，列出最小项编码表。 奎恩-麦克拉斯基化简法（Q-M法） 最小项编码表：用0表示最小项的反变量，用1表示最小项中原变量。 * 最小项编号 0 2 3 8 10 14 代码 00000 00010 00011 01000 01010 01110 最小项编号 15 22 24 27 31 代码 01111 10110 11000 11011 11111 最小项编码表 奎恩-麦克拉斯基化简法（Q-M法） 步骤2 将包含1的个数将最小项分组，如表1所示，共分为6组。 * 步骤3 合并相邻的最小项。 将表（1）中每一组中每一个最小项与相邻组中所有的最小项逐一比较，若仅有一个因子不同，则可以合并，消去不同的因子。消去的因子用‘-’表示。第一次合并结果如表2所示。 * 合并前的最小项 编号 A B C D E 0 0 0 0 0 0 √ 2 0 0 0 1 0 √ 8 0 1 0 0 0 √ 3 0 0 0 1 1 √ 10 0 1 0 1 0 √ 24 1 1 0 0 0 √ 14 0 1 1 1 0 √ 22 1 0 1 1 0 P1 15 0 1 1 1 1 √ 27 1 1 0 1 1 √ 31 1 1 1 1 1 √ 第一次合并结果 编号 A B C D E 0,2 0 0 0 - 0 √ 0,8 0 - 0 0 0 √ 2,3 0 0 0 1 - P2 2,10 0 - 0 1 0 √ 8,10 0 1 0 - 0 √ 8,24 - 1 0 0 0 P3 10,14 0 1 - 1 0 P4 14,15 0 1 1 1 - P5 15,31 - 1 1 1 1 P6 27,31 1 1 - 1 1 P7 表1 表2 * 第一次合并结果 编号 A B C D E 0,2 0 0 0 - 0 √ 0,8 0 - 0 0 0 √ 2,3 0 0 0 1 - P2 2,10 0 - 0 1 0 √ 8,10 0 1 0 - 0 √ 8,24 - 1 0 0 0 P3 10,14 0 1 - 1 0 P4 14,15 0 1 1 1 - P5 15,31 - 1 1 1 1 P6 27,31 1 1 - 1 1 P7 第二次合并结果 编号 A B C D E 0,2 8,10 0 - 0 - 0 P8 0,8 2,10 0 - 0 - 0 P8 按照相同方法，依次完成，只到不能再合并为止。可以合并的最小项用‘√’表示，不能合并的用P表示。 * 将乘积项用最小项之和表示 m 0 2 3 8 10 14 15 22 24 27 31 P1 ① P2 1 ① P3 1 ① P4 1 1 P5 1 1 P6 1 1 P7 ① 1 P8 ① 1 1 1 步骤4 选择最少的乘积项。 将剩下的乘积项相加。 P ①表示该最小项仅仅包