Prove that the following formulas are constants by two methods (set table and equivalent transformations) :
1 . ( m →(N v Q)) →((M→N) v (M→Q))
2.((T v U) → V) → (T → (U → V))