展开 用代数操作证明以下布尔等式的性质