КМ-1. Алгебра логики высказываний. Контрольная работа

Задания решены на оценку 5.
Сами задания:
Задание 1
Построение таблиц истинности.
Построить таблицу истинности для заданной формулы.
Задание 2
Заданную формулу привести к дизъюнктивной нормальной форме (ДНФ) и к конъюнктивной нормальной форме (КНФ). Преобразования выполнять аналитически.
Заданная формула:
(A → (A ∨ C → ¬B)) → (A ∨ C → B & C)
Задание 3
Формализовать представленные рассуждения в виде формул алгебры логики. Выделить атомарные высказывания и связки. Определить посылки и заключение в заданном рассуждении.
Если днем я не буду хандрить или сделаю все свои дела, то меня ожидает приятный вечер и встреча с любимой девушкой. Если меня ожидает встреча с любимой девушкой или я буду счастлив, то завтра я готов совершить нечто великое. Следовательно, если днем я не буду хандрить, то завтра я готов совершить нечто великое.
Задание 4
Для формализованного в задаче 3 рассуждения доказать логическое следствие заключения из посылок.
Задание 5
Доказать справедливость рассуждения (взять свой вариант из задания 3) методом резолюции.Показать/скрыть дополнительное описание