逻辑门表达式化