命題論理の問題です。

次の論理式をヒルベルト流で形式的に証明せよ。
（１）|-¬A∨A 
（２）|-((A⇒B)⇒(¬A∨B))∧((¬A∨B)⇒(A⇒B))

どなたかわかる方がいればお願いします。