1.2_逻辑函的标准型.pptVIP

1.2 逻辑函数的标准型 1.2.1 逻辑函数的两种标准形式 1.2.2 将逻辑函数变换为标准型 1.2.1 逻辑函数的两种标准形式 2、最小项的表示 3. 最小项的性质 4. 最大项的定义和表示 5.逻辑函数的最小项表达式和最大项表达式 1.2.2 将逻辑函数变换为标准型 2. 利用公式 * 逻辑函数的相等表明同一逻辑问题有多种等效的函数表达形式。 讨论逻辑函数的标准形式便于认识和比较 存在两种标准形式并可以相互转换 n个变量 X1, X2, …, Xn 的最小项就是这n个变量的与项 乘积项 ，在该与项中每个变量都以它的原变量或非变量的形式出现一次，且仅出现一次。 1. 最小项的定义： 如对于三变量逻辑函数 F A B C A B + C -----不是最小项 -----都是最小项 1.2 逻辑函数的标准型 因此n个变量共有2n个最小项 以三变量为例，三个变量的所有最小项列表如下 m0 m1 m2 m3 m4 m5 m6 m7 mi表示第 i 个最小项；m即最小项，下标 i 为该最小项编号。 i 取为所有变量按顺序排列的二进制记数 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1.2 逻辑函数的标准型 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 C B A 任意一个最小项，只有一组变量取值（真值表中的一行）使得它的值为1； 不同的最小项，使它的值为1的那一组变量取值也不同（看其下标）； 对于变量的任一组取值，任意两个不同最小项乘积为0； 对于变量的任一组取值，全体最小项之和为1； 1.2 逻辑函数的标准型 所以，最小项与真值表一一对应 n个变量 X1, X2, …, Xn 的最大项就是这n个变量的或项 和 ，在该和项中每个变量都以它的原变量或非变量的形式出现一次，且仅出现一次。 1.2 逻辑函数的标准型 n个变量共有2n个最大项，也与真值表一一对应 且 111 110 101 100 011 010 001 000 最大项 最小项 A B C 最小项的或构成逻辑函数的标准与或式（最小项标准型） 一定是“与或”逻辑表达式； “与或”式中的每个乘积项一定是最小项。 m7＋m6＋m3＋m5 1.2 逻辑函数的标准型 例 最大项的与构成逻辑函数的标准或与式（最大项标准型） 一定是“或与”逻辑表达式； “或与”式中的每个和项一定是最大项。 M6 · M3 · M4 分别列出其真值表－－标准型与真值表的关系？ 1.2 逻辑函数的标准型 1. 利用真值表 111 110 101 100 011 010 001 000 ABC 1 0 7 0 1 6 1 0 5 0 1 4 0 1 3 1 0 2 1 0 1 0 1 0 F 序号 又 ∴ 作出函数 的真值表 由表得 例： 将 化成标准型表达式 先整理为一般与或式 乘以 1.2 逻辑函数的标准型 和 由标准与或式不难作出标准或与式