用逻辑代数的基本等价代数证明(A+B)(B+C)(C+D)=AC+BC+BD