利用真值表证明的.
也可以用技巧性的变换来证明.
A+BC=(A+B)*(A+C)的证明如下：
因为A+AB
=A(B+B')+AB
=AB+AB'+AB
=AB+AB'
=A(B+B')
=A,（吸收律）
所以(A+B)*(A+C)
=AA+AB+AC+BC
=(A+AB)+AC+BC
=A+AC+BC
=A+BC