>>591
(1)だけ真理表を書いてみる。
(A,B)=(真,偽):条件(Ａ⇒Ｂ)が否定なので真
(A,B)=(真,真):条件も結果も真なので真
(A,B)=(偽,偽):条件も結果も真なので真
(A,B)=(偽,真):条件は真だが結果が偽だから偽
以上よりトートロジーではない。