逻辑代数化简L=AB(BC+A)