Алгебра логики и высказываний

Вариант 2

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

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

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

Если я поеду автобусом, а автобус опоздает, то я пропущу назначенное свидание. Если я пропущу назначенное свидание и начну огорчаться, то мне не следует ехать домой. Если я не получу эту работу, то я начну огорчаться и мне следует поехать домой. Следовательно, если я поеду автобусом и автобус опоздает, то я получу эту работу.

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

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