AB＋非A×C＋BC＝AB＋非A×C是怎么证明的?

证明这种逻辑等式,主要有真值表法（即分别赋予A、B、C真假,看两式是否恒等）和公式法（即利用各种逻辑公式进行等价变换）。下用公式法证明。AB 十 (非A)C 十 BC=AB 十(非A)C 十BC(A十 非A)=AB 十(非A)C 十ABC 十(非A)BC=AB(1 十C)十 (非A)(1 十B)C=AB 十 (非A)C 。