展开 用代数操作证明布尔等式