逻辑表达式化简公式