用布尔代数定律化简t=x1+x2(x1+x3)化简结果是什么