Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение.

Сколько существует не эквивалентных друг другу логических функций (A,B,C) таких, что всегда истинно выражение (A,B,C)→A or B or C=True. Функции считаются эквивалентными, если не существует такой комбинации переменных , , , для которых функции имеют

2.9. При помощи логического квадрата образуйте суждения противоположные, противоречащие и подчиненные следующим суждениям: a) Всякое литературное произведение имеет автора. б) Всякое время года прекрасно. в) Некоторые заболевания не поддаются лечению. г)