ПРИВЕСТИ ФОРМУЛЫ К СДНФ ИЛИ СКНФ С ПОМОЩЬЮ ЭКВИВАЛЕНТНЫХ ПРЕОБРАЗОВАНИЙ.

Всем доброго. Может кто понимает тему вопроса.
Задание первое: F (A, B, C) = C∧(¬A⇒¬B⇒¬C).
Задание второе: F (A, B, C, D) = ¬(A∨B∨C∧D)⇒¬C∧¬D.

Читал про СДНФ, СКНФ, ДНФ, КНФ, что такое нормальная форма. Я ума не приложу как выполнить задание.

Может у кого есть нормальная, понятная теория!