4.5 使用布尔代数进行化简