展开 如何证明布尔代数