Question

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

Answer 1

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

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