展开 布尔代数公式化