请教一下这些化简定律如何证明?
逻辑化简 化简定律:
幂等律：A•A = A ,A + A = A
吸收律：A•（A + B ）= A ,A +（A•B）= A
分配律：A +（B•C）=（A + B）•（A + C）
互补律：A + A = 1 ,A•A = 0
非深入：A + B = A•B,A•B = A +B
0-1律：A + 0 = A ,A + 1 = 1 ,A•1 = A ,A•0 = 0
例:化简函数 Q = AD + AD + AB + ACEF.这个函数有5个自变量,化简过程如下：
Q = AD + AD + AB + ACEF
= A + AB + ACEF
= A + ACEF
= A
练习:求证:(A+B)(A+C)=AB+AC