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

ПРИМЕР ВЫПОЛНЕНИЯ И УСЛОВИЯ К ЗАДАЧАМ ЕСТЬ В ФАЙЛЕ

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