展开 布尔代数定理证明