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

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