例1证明：AB+AC+BC=AB+AC 解：AB+AC+BC=AB+AC+(A+A)BC =AB+AC+ABC+ABC =AB+ABC+AC+ABC AB(1+C)+A(C+BC) =AB+AC(1+B)川=AB+AC 三、逻辑代数的基本规则-代入规则 A(B+C)=AB+AC 设C=E+F A[B+(E+F)=AB+AE+F) 例 证明 : 1 AB  AC  C  ABB  AC CAAB)]B(C[AAB )BCC(A)C(AB BCACAABCAB BCAABCCAAB BC)AA(CAABBCCAAB           1 1 解： 三、逻辑代数的基本规则－代入规则 A(B+C)=AB+AC A[B+(E+F)]=AB+A(E+F) 设C=E+F