Определите, какие высказывания являются тождественно истинными: A и B → C Не A → A или B (A → B) → ((A → C) → (A → B и C))
Ни первое, ни второе не подойдут, тут даже преобразовывать не надо. Конечно, все самое интересное в длинном выражении. Его преобразование во вложении. Ответ: 3) (A → B) → ((A → C) → (A → B и C))