隐含操作

_

if-then operation, implication function