条件隐含运算

[计] conditional implication operation

tiáo jiàn yǐn hán yùn suàn ㄊㄧㄠˊ ㄐㄧㄢˋ ㄧㄣˇ ㄏㄢˊ ㄩㄣˋ ㄙㄨㄢˋ