蕴含门

IF-THEN gate