展开 布尔恒等式分配