誰か頭脳明晰の方、この問題を解いてください！！！
4. 次がトートロジーであるかどうかを調べよ、
(1) (A ⇒ B) ⇒ (B ⇒ A)
(2) (¬A ⇒¬:B) ⇒ (A ⇒ B)
(3) (¬A ⇒¬B) ⇒ (B ⇒ A)
(4) (A ⇒ B ∨ C) ⇒ (A ⇒ B) ∨ (A ⇒ C)
真理表書いてみたのですが、よくわかりません。。。