这是逻辑代数的常用等式中的一个，称为冗余律。
证明：AB+A'C+BC=AB+A'C+(A+A')BC=AB+A'C+ABC+A'BC=(AB+ABC)+(A'C+A'BC)=AB+A'C
冗余定律。
证明：AB+A'C+BC=AB+A'C+(A+A')BC=AB+A'C+ABC+A'BC=(AB+ABC)+(A'C+A'BC)(吸收：长中含短留下短 长中含反去掉反）=AB+A'C
AB+A'C+BC=AB+A'C+(A+A')BC=AB+A'C+ABC+A'BC=AB(1+C)+A'C(1+B)=AB+A'C
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024