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