利用真值表证明的.

　　也可以用技巧性的变换来证明.

　　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