知识拓展 T和T′触发器的逻辑转换