Определить тип формулы с помощью таблиц истинности

1. Определить тип формулы с помощью таблиц истинности:

 ((A → B) → ((A ∨ C) → (⎤ B & C))

⎤ P → (Q → P) ↔ ⎤ (Q → (R → Q))

⎤ (A ∨ B) → C ↔ (A ∨ B) &  C