济南大学物理科学与技术学院数字电子技术课件第一章 逻辑代数（3）.ppt

化简“或与”表达式：(北京大学考研试题） 将表达式写成最简与或式 (北京邮电大学考研试题） 先圈孤立1 照顾稀疏1 合并相邻1 画圈尽量大 避免冗余圈 例：化简逻辑函数 F=(AB+AC+BD) (ABCD+ACD+BCD+BC) AB CD 00 01 11 10 00 01 11 10 1 1 1 1 1 1 1 1 1 1 1 AB CD 00 01 11 10 00 01 11 10 1 1 1 1 1 1 1 AB CD 00 01 11 10 00 01 11 10 1 1 1 1 1 1 = F=ABCD+ABC+BCD+ACD 1. 2. 4 具有约束的逻辑函数的化简 一、 约束的概念和约束条件 (1) 约束： 输入变量取值所受的限制 例如，逻辑变量 A、B、C，分别表示电梯的 升、降、停 命令。 A = 1 表示升，B = 1 表示降，C = 1 表示停。 ABC 的可能取值 (2) 约束项： 不会出现的变量取值所对应的最小项。 不可能取值 001 010 100 000 011 101 110 111 1. 约束、约束项、约束条件 (3) 约束条件： (2) 在逻辑表达式中，用等于 0 的条件等式表示。 000 011 101 110 111 由约束项相加所构成的值为 0 的 逻辑表达式。 约束项： 约束条件： 或 2. 约束条件的表示方法 (1) 在真值表和卡诺图上用叉号(╳)表示。 例如，上例中 ABC 的不可能取值为 二、 具有约束的逻辑函数的化简 [例] 化简逻辑函数 化简步骤: (1) 画函数的卡诺图，顺序 为： AB CD 00 01 11 10 00 01 11 10 先填 1 0 1 1 1 0 0 0 0 0 0 (2) 合并最小项，画圈时 ╳ 　　 既可以当 1 ，又可以当 0 (3) 写出最简与或表达式 [解] ╳ [例] 化简逻辑函数 约束条件 [解] (1) 画函数的卡诺图 AB CD 00 01 11 10 00 01 11 10 1 1 1 1 (2) 合并最小项 (3) 写出最简与或表达式 合并时，究竟把 ╳ 作为 1 还是作为 0 应以得到的包围圈最大且个数最少为原则。包围圈内都是约束项无意义(如图所示)。 注意： 一、标准与或表达式 1. 2 逻辑函数的化简方法 1. 2. 1 逻辑函数的标准与或式和最简式 标准与或式 标准与或式就是最小项之和的形式 最小项 1. 最小项的概念： 包括所有变量的乘积项，每个变量均以原变量或 反变量的形式出现一次。 ( 2 变量共有 4 个最小项) ( 4 变量共有 16 个最小项) ( n 变量共有 2n 个最小项) … … ( 3 变量共有 8 个最小项) 对应规律：1 ? 原变量 0 ? 反变量 2. 最小项的性质： 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 A B C (1) 任一最小项，只有一组对应变量取值使其值为 1 ； A B C 0 0 1 A B C 1 0 1 (2) 任意两个最小项的乘积为 0 ； (3) 全体最小项之和为 1 。 3. 最小项的编号： 把与最小项对应的变量取值当成二进制数，与之 相应的十进制数，就是该最小项的编号，用 mi 表示。 对应规律：原变量 ? 1 反变量 ? 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 2 3 4 5 6 7 m0 m1 m2 m3 m4 m5 m6 m7 4. 最小项是组成逻辑函数的基本单元 任何逻辑函数都是由其变量的若干个最小项构成，都可以表示成为最小项之和的形式。 [例] 写出下列函数的标准与或式： [解] 或 m6 m7 m1 m3 [例] 写出下列函数的标准与或式： m7 m6 m5 m4 m1 m0 m8 m0 与前面m0相重 最简或与式 最简与或非式 二、逻辑函数的最简表达式及相互转换 最简与或式 最简 与非-与非式 最简或与非式 最简或非-或非式 最简或非-或式 核心 1. 2. 2 逻辑函数的公式化简法 一、并项法: [例 1. 2. 8] [例] （与或式 最简与或式） 公式 定