Задачи по математической логике

Задание №2.
Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса».
«Если мед не есть, то горшок не становится пустым, а Винни-Пух – голодным».
Задание №3.
Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции).
Задание №4.
Проверить аргумент методом резолюций. Получить все следствия из данных посылок.
«Если неверно, что X или Y, то и Z, и Z1. Не Z или не Z1.Следовательно, X или Y».