Вариант 12
Задание 1. Построение таблиц истинности. Построить таблицу истинности для заданной формулы.
Задание 2. Представить в ДНФ и в КНФ следующие формулы
Задание 3. Формализовать представленные рассуждения в виде формул алгебры логики.
Если команда соперника сильна, то в финал выйти сложно. Команда соперника сильна или физическая подготовка команды слабая. Если физическая подготовка команды слабая, то тренер недостаточно уделяет внимания спортсменам. Однако тренер уделяет достаточно внимания спортсменам. Значит, в финал сложно выйти.
Задание 4 Для формализованного в задаче 3 рассуждения доказать логическое следствие заключения из посылок
Задание 5. Доказать справедливость рассуждения (взять свой вариант из задания 4) методом резолюции.