展开 用布尔代数证明下列逻辑等式