[工学]lecture2-逻辑函数及其简化.ppt

4. 5. AB+AC+BC=AB+AC AB+AC=(A+C)(A+B) Y=ABC+CD+ABD =ABC+CD （1）二变量的全部最小项 A B 最小项 编号 0 0 0 1 1 0 1 1 A B m0 A B A B A B m1 m2 m3 （2）三变量的全部最小项 A B C 最小项 编号 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 m0 A B C A B C A B C A B C A B C A B C A B C A B C m1 m2 m3 m4 m5 m6 m7 （3）四变量的全部最小项 编号为 m0~ m15 最小项：在 n 变量逻辑函数中，若 m 是包含 n 个因子的乘项积，而且这n个变量均以原变量或反变量的形式在 m 中出现一次，则称m 为该组变量的最小项。 （略） 2.1.7 逻辑函数的标准形式 1. 最小项表达式 逻辑函数的最小项表达式（标准与－或表达式） 全部由最小项相加构成的与－或表达式称为最小项表达式。利用基本公式 A+A=1 可以把任何逻辑函数化为最小项之和的标准形式。 例：Y=AB+C 可化为 Y=AB(C+C) + (A+A)(B+B)C =ABC+ABC+ABC+ABC+ABC+ABC = ∑m（ 1， 3， 5， 6， 7） + m 6 + m 7 + m 3 + m 5 + m 1 = m 7 2. 最大项表达式 最大项：包含全部变量的和项，每个变量以原变量或反变量形式出现，且仅出现一次。 三变量的全部最大项 A B C 最大项 编号 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 M0 A+ B+ C A+ B +C A+ B+ C A+ B+ C A+ B+ C A+ B +C A+ B+ C A+ B+ C M1 M2 M3 M4 M5 M6 M7 F=(A+B+C)(A+B+C)(A+B+C)(A+B+C) 例： F(A,B,C)=M0M1M2M4=∏M(0,1,2,4) 全部由最大项相乘构成的逻辑函数表达式为最大项表达式。 逻辑函数的最大项表达式（标准或－与表达式） 最小项与最大项的关系 相同编号的最小项和最大项存在互补关系 即: mi = Mi Mi = mi 若干个最小项之和表示的表达式F，其反函数F可用等同个与这些最小项相对应的最大项之积表示。 例： F=m1+m3+m5+m7 F=m1+m3+m5+m7 =m1·m3·m5·m7 =M1·M3·M5·M7 例： F(A,B,C)=AB+AC =∑m(2,3,5,7) =∏M(0,1,4,6) 2.2 逻辑函数的化简 2.2.1 公式法（代数法） 2.2.2 图解法（卡诺图法） 对逻辑函数进行化简和变换，可以得到最简的逻辑函数式和所需要的形式，设计出最简洁的逻辑电路。这样可以节省元器件，优化生产工艺，降低成本，提高系统的可靠性，从而提高产品在市场中的竞争力。 一个逻辑函数的表达式可以有与或表达式、或与表达式、与非-与非表达式、或非-或非表达式、与或非表达式。 一种形式的函数表达式相应于一种逻辑电路。尽管一个逻辑函数表达式的各种表示形式不同，但逻辑功能是相同的。 最简与－或表达式：乘积项最少、并且每个乘积项中的变量也最少的与或表达式。 1. 利用公式Ａ＋Ａ＝1，将两项合并为一项。 若两个乘积项中分别包含同一个因子的原变量和反变量，而其它因子都相同时，则这两项可以合并成一项，并消去互为反变量的因子。 2.2.1 公式法（代数法） 逻辑函数的公式化简法就是运用逻辑代数的基本公式、定理和规则来化简逻辑函数。 如果乘积项是另外一个乘积项的因子，则这另外一个乘积项是多余的。 2. 利用公式Ａ＋ＡＢ＝Ａ，消去多余的项。 3. 利用公式Ａ＋ＡＢ＝ＡＢ，消去多余的变量。 如果一个乘积项的反是另一个乘积项的因子，则这个因子是多余的。 4. 利用ＡＢ＋ＡＣ＋ＢＣ＝ＡＢ＋ＡＣ，将冗余项ＢＣ消去。 例： F=AB＋BC+BC+AB 利用公式法化简逻辑函数，要求对公式要熟练。 F=AB＋BC+BC+AB＋AC =AB＋BC+BC+AB＋AC =BC+AB＋AC F=AB＋BC+BC+AB＋AC =AB＋BC+BC+AB＋AC =BC+AB＋AC 解： 2.2.2 图解法（卡诺图法） 将逻辑函数真值表中的最小项重新排列成矩阵形式，并且使矩阵的横方向和纵方向的逻辑变量的取值按照循环码的顺序排列，这样构成的图形就是卡诺图。 卡诺图的特点是任意两个相邻的最小项在图中也是相邻的。（相邻项是指两个最小项只有一个因子互为反变量，其余因子均相同，又称为逻辑相