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