逻辑代数基本定律中 A+BC = (A+B)(A+C)是怎样推导出来的