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

задание 1. Для заданной формулы алгебры логики построить таблицу истинности. (A∨ ¬A&B)&(A∨ С∨ ¬A&B∨ A&B&¬С)

задание 2. Заданную формулу привести к дизъюнктивной нормальной форме (ДНФ) и к конъюнктивной нормальной форме (КНФ). Преобразования выполнять аналитически. (C→(¬A∨ B))→( A&B&C)

задание 3. Формализовать представленные рассуждения в виде формул алгебры логики. Выделить атомарные высказывания и связки. Определить посылки и заключение в заданном рассуждении. Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не встречал его этой ночью и убийство имело место после полуночи. Если убийство имело место после полуночи, то либо Смит был убийцей, либо Джонс не лжет. Следовательно, Смит был убийцей

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

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

в файле пример работы