展开 布尔逻辑运算公式