Imp演算子

 論理演算子はAnd,Or,Notが使えれば十分で、Eqv,Xorもまずお目にかかることはありませんが、さらに珍しいのがImpです。
 真理値表は次のようになります(ただし演算子の実際の出力は1でなく-1となります)。

Imp演算子の真理値表
命題A命題BA Imp B
001
011
100
111

 「AならばB」を表す演算子であるため、命題の順序を入れ替えると出力が変わる場合があるのが珍しいところです。
 具体例としては

   1>2 Imp 1<2

はTrue(-1)となりますが

   1<2 Imp 1>2

はFalse(0)となります。