化简逻辑表达式