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

Задание решено на оценку 5. Вариант 10.
Сами задания:

Задание 1

Условие задачи

Для заданной формулы алгебры логики построить таблицу истинности.
(A&C∨A&¬C∨ ¬A&C)&(C&D∨C&¬D∨A&B&C)

Задание 2

Условие задачи

Заданную формулу привести к дизъюнктивной нормальной форме (ДНФ)
и к конъюнктивной нормальной форме (КНФ). Преобразования выполнять
аналитически.
¬(B∨¬A&¬C)∨¬(A∨¬C)

Задание 3

Условие задачи

Формализовать представленные рассуждения в виде формул алгебры логики. Выделить атомарные высказывания и связки. Определить посылки и заключение в заданном рассуждении.
Если Ваня победит на соревнованиях, он будет доволен, а если он будет доволен, то он не обладает бойцовскими качествами. Но если он не победит на соревнованиях, то он потеряет доверие товарищей. Ваня не обладает бойцовскими качествами, если он потеряет доверие товарищей. Если он не обладает бойцовскими качествами, ему следует уйти из команды. Ваня или победит на соревнованиях или не победит. Следовательно, ему нужно уйти из команды.

Задание 4

Условие задачи

Для формализованного в задаче 3 рассуждения доказать логическое следствие заключения из посылок.

Задание 5

Условие задачи

Доказать справедливость рассуждения (взять свой вариант из задания 3) методом резолюции.Показать/скрыть дополнительное описание