AB 非A C BC AB 非A C是怎么证明的 求帮助啊（a非b非与ab非的区别图）

证明这种逻辑等式，主要有真值表法（即分别赋予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。