2.2代入定理及其应用 代入定理的内容 在任意一个包含变量4等式中，若用任何一个逻辑式代 替等式中的4，则等式仍然成立。 例：利用代入定理将德摩根定理推广为多变量形式。 (AB)'=A'+B (A+B)'=A'B (A(BC)'=A'+(BC)'=A'+B'+C1 (A+(B+C)'=A'(B+C)'=A'B'C 代入定理可以扩展所有基本公式的应用范围2. 2 代入定理及其应用 代入定理的内容 在任意一个包含变量A的等式中，若用任何一个逻辑式代 替等式中的A，则等式仍然成立。 例：利用代入定理将德摩根定理推广为多变量形式。 代入定理可以扩展所有基本公式的应用范围 (AB) ´ =A´+B´ (A+B) ´=A´ B´ (A(BC)) ´=A´+(BC) ´=A´+B´+C´ (A+(B+C)) ´=A´ (B+C) ´=A´B´C´