Выяснить вопрос о равносильности ДНФ f1 f2

Строим СДНФ заданных функций:
f1x,y,z=xy⋁xy⋁yz⋁xyz=xyz⋁z⋁xyz⋁z⋁x⋁xyz⋁xyz=
=xyz⋁xyz⋁xyz⋁xyz⋁xyz⋁xyz.
f2x,y,z=xy⋁xy⋁yz⋁xz=
=xyz⋁xyz⋁xyz⋁xyz⋁xyz⋁xyz.
f3x,y,z=xy⋁xy⋁yz⋁xyz=xy(z⋁z)⋁xy(z⋁z)⋁(x⋁x)yz⋁xyz=
=xyz⋁xyz⋁xyz⋁xyz⋁xyz.
Таким образом, функции f1, f2 являются эквивалентными.
Получаем КНФ функции f2x,y,z.
f2x,y,z=xy⋁xy⋁yz⋁xz=
=(x⋁y)(x⋁y)(y⋁z)(x⋁z)=(xy⋁xy)(xy⋁z)=xyz⋁xyz=
=x⋁y⋁zx⋁y⋁z.