задачи по интеллектуальным информационным системам

необходимо решить задачи в рамках контрольной работы ( вариант 13):

Задание 1. Построение таблиц истинности. Построить таблицу истинности для

заданной формулы.

13. отр(отр(отрAvотрBvC)vотр(AvC)vA&отрB)

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

13, (C->(отрAv BvC))->( A&B&C)

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

алгебры логики.

13. Если Джонс не встречал э той ночью Смита, то либо Смит был

убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не

встречал его этой ночью и убийство имело место после полуночи.

Если убийство имело место после полуночи, то либо Смит был

убийцей, либо Джонс не лжет. Следовательно, Смит был убийцей.

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

логическое следствие заключения из посылок.

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

вариант из задания 4) методом резолюции