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

Вариант 12

Задание 1. Построение таблиц истинности. Построить таблицу истинности для заданной формулы.

Задание 2. Представить в ДНФ и в КНФ следующие формулы

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

Если команда соперника сильна, то в финал выйти сложно. Команда соперника сильна или физическая подготовка команды слабая. Если физическая подготовка команды слабая, то тренер недостаточно уделяет внимания спортсменам. Однако тренер уделяет достаточно внимания спортсменам. Значит, в финал сложно выйти.

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

Задание 5. Доказать справедливость рассуждения (взять свой вариант из задания 4) методом резолюции.