Добрый день.
Не могу разобраться в одном задании по дискретной математике.
Для заданного выражения найти СКНФ и СДНФ. Использовать два способа (с помощью таблицы истинности и с помощью законов алгебры логики).

С помощью таблицы истинности нашёл СДНФ:

СКНФ:

А вот с законами алгебры логики проблемы и не могу понять, что дальше?
1.
2.

(импликация)
3.
4.

(закон де Моргана)
(Оффтоп)
Полчаса набирал формулы в латексе. Боль какая-то