Используя формулы алгебры логики преобразовать булеву функцию в КНФ и СКНФ

Находим ДНФ функции
A∙B∙C∙D=A⋁B⋁CD.
Строим СДНФ
A⋁B⋁CD=ABCD⋁BCD⋁BCD⋁BCD⋁BCD⋁BCD⋁BCD⋁BCD⋁
⋁BACD⋁ACD⋁ACD⋁ACD⋁ACD⋁ACD⋁ACD⋁ACD⋁
⋁AB⋁AB⋁AB⋁AB=
=ABCD⋁ABCD⋁ABCD⋁ABCD⋁ABCD⋁ABCD⋁ABCD⋁
⋁ABCD⋁ABCD⋁ABCD⋁ABCD⋁ABCD⋁ABCD.
Строим КНФ
A⋁B⋁CD=A⋁B⋁CD=A∙B∙C⋁D=
=A∙B∙C⋁A∙B∙D=A⋁B⋁CA⋁B⋁D.
Наконец, находим СКНФ
A⋁B⋁CA⋁B⋁D=
=A⋁B⋁C⋁DA⋁B⋁C⋁DA⋁B⋁C⋁DA⋁B⋁C⋁D=
=A⋁B⋁C⋁DA⋁B⋁C⋁DA⋁B⋁C⋁D.