Определите, какие высказывания являются тождественно истинными: a и b → c не a → a или b (a → b) → ((a → c) → (a → b и c))

Ни первое, ни второе не подойдут, тут даже преобразовывать не надо. Конечно, все самое интересное в длинном выражении. Его преобразование во вложении.

ответ: 3) (A → B) → ((A → C) → (A → B и C))