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