布尔代数中 a+a'b=a+b 请证明一下这个公式,在逻辑门中应用