逻辑表达式的运算、简化办法