1.2 逻辑函数的标准型.pptVIP

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