(3)若F=∑m1,则F=∑ (k=(2"-1)-j) 证明: F=ABC =mo F= ABC= m7 F=ABC =m F= ABC= 6 F=ABC=m2一>F=ABC=m5 F=ABC=m3-≥FABC=m F=ABC=m4—>FABC=m3 F= ABC= m5 F= ABC= 2 F= ABC=6 F= ABC=m1 F=ABC=m7 F=ABC=mo
证明：
即上述关系式成立。 例1:若F(A,B,C)=∑m(346) FABC+ABC+ABC AI F(A, B, C)=ABC+ABC+ABC ∑m(4.3) 例2:若F(AB,C)=∑m(346) 则F=∑m(?) 解:F=∑m0125,7),F=∑m(02.67)
即上述关系式成立。 例1：若 F(A,B,C) = m(3,4,6) = A B C + A B C + A B C 则 F′(A,B,C) = A B C + A B C + A B C = m(4,3,1) 例2：若 F(A,B,C) = m(3,4,6) 则 F = m( ? ) 解： F = m(0,1,2,5,7) , F = m(0,2,5,6,7)
六、逻辑函数的化简(重点) 代数法化简 化简的方式有两种: 卡诺图法化简 1、代数法化简 代数法化简是利用前面介绍的9个基本公式和 三个规则进行化简。 化简的原则:①乘积项最少; ②乘积项中的变量最少
六、逻辑函数的化简（重点） 化简的方式有两种： 代数法化简 卡诺图法化简 1､代数法化简 化简的原则： 代数法化简是利用前面介绍的9个基本公式和 三个规则进行化简。 ①乘积项最少； ②乘积项中的变量最少
(1)、化简“与一或”式的主要方法 1)相邻项合并法 利用AB+AB=A化简 2)消项法 利用A+AB=A和AB+AC+BC=AB+AC化简 3)消去互补因子法 利用A+AB=A+B化简 4)拆项法 利用A+A=1(互补定律),把乘积项拆为两项, 再进行化简。 5)添项法 利用公式AB+AC=AB+AC+BC和A+A=A化简
（1）､化简“与—或”式的主要方法 1）相邻项合并法 2）消项法 3）消去互补因子法 4）拆项法 5）添项法 把乘积项拆为两项, 再进行化简
(2)、或与式的化简 化简方法: ①利用“或与”形式的公式进行化简 ②采用二次对偶法进行化简。 “或与”式用公式法进行化简比较繁琐,建议采 用二次对偶比较简单。 F一次对偶F’二次对偶(F”)=F “或一式 “与或”式 “或-与”式 未化简 进行化简 已化简
化简方法： ①利用“或与”形式的公式进行化简。 ②采用二次对偶法进行化简。 “或与”式用公式法进行化简比较繁琐，建议采 用二次对偶比较简单。 （2）､或与式的化简