(A+B)(A非+C)=非AB+AC证明逻辑函数等式(过程)