Question

Определите, какие высказывания являются тождественно истинными:  A и B → C  
Не A → A или B  
(A → B) → ((A → C) → (A → B и C))

Answer 1

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

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