С помощью эквивалентных преобразований построить конъюнктивную нормальную форму заданной функции

Сначала с помощью элементарных преобразований упростим функцию:
fx3=x1→x2x3∙x1↔x2↓x3=x1∨x2x3∙x1∨x2x1∨x2↓x3=
=x1∨x2x3∙x1∨x2x1∨x2∨x3=
=x1∨x2x3∙x1x1∨x2x1∨x1x2∨x2x2∨x3=x1∨x2x3∙x1x2∨x1x2∨x3
=x1∨x2x3∙x1x2∙x1x2∙x3=x1∨x2x3∙x1∨x2∙x1∨x2∙x3=
=x1∨x2x3∙x1x1∨x2x1∨x1x2∨x2x2∙x3=
=x1∨x2x3∙x2x1x3∨x1x2x3=x1x2x1x3∨x2x3x2x1x3∨x1x1x2x3∨x2x3x1x2x3
=0∨x1x2x3∨x1x2x3∨0=x1x2x3∨x1x2x3
Приведем полученную функцию к КНФ:
fx3=x1x2x3∨x1x2x3=x1x2∨x1x2∙x3=x1x2∨x1x2∨x1x1∨x2x2∙x3=
=x1∙x1∨x2∨x2∙x1∨x2∙x3=x1∨x2∙x1∨x2∙x3