短語詞組短語implication logic gate 蘊函邏輯門conditional implication gate 隱含門;[計]條件隱含門;條件蘊含牐 返回 implication gate