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

Находим ДНФ функции f3.
f3=x→y⊕z↓x→y⊕x→z=
=x⋁yz⋁yz↓x⋁y⊕x⋁z=
=x⋁yz⋁yz↓xyx⋁z⋁x⋁yxz=
=x⋁yz⋁yz↓xyz⋁xyz=
=xy⋁zy⋁zx⋁y⋁zx⋁y⋁z=
=xy⋁zy⋁zx⋁y⋁zx⋁y⋁z=
=xyz⋁xyzx⋁yz⋁yz=
=xyz⋁xyz.
Построили ДНФ и СДНФ функции f3.
f3=x→y⊕z↓x→y⊕x→z;
x y z A=y⊕z
B=x→A
C=x→y
D=x→z
C⊕D B
C⇔D f
0 0 0 0 1 1 1 0 0 1 0
0 0 1 1 1 1 1 0 0 1 0
0 1 0 1 1 1 1 0 0 1 0
0 1 1 0 1 1 1 0 0 1 0
1 0 0 0 0 0 0 0 1 1 1
1 0 1 1 1 0 1 1 0 0 0
1 1 0 1 1 1 0 1 0 0 0
1 1 1 0 0 1 1 0 1 1 1
Строим КНФ функции f3.
f3==xyz⋁xyz=x⋁y⋁zx⋁y⋁z=
=x⋁yz⋁yz=xy⋁zy⋁z.
Строим СКНФ функции f3.
f3=x⋁y⋁zx⋁y⋁zx⋁y⋁zx⋁y⋁zx⋁y⋁zx⋁y⋁z.
Строим таблицу истинности функции f4.
f4=¬x→y⊕z⋁x→y↔¬x→z=
x y z A=y⊕z
B=x→A
B
C=x→y
D=¬x→z
C⇔D f4
0 0 0 0 1 0 1 0 0 0
0 0 1 1 1 0 1 1 1 1
0 1 0 1 1 0 1 0 0 0
0 1 1 0 1 0 1 1 1 1
1 0 0 0 0 1 0 1 0 1
1 0 1 1 1 0 0 1 0 0
1 1 0 1 1 0 1 1 1 1
1 1 1 0 0 1 1 1 1 1
Заданные функции f3 и f4 не эквивалентны.
Находим ДНФ функции f4.
f4=¬x→y⊕z⋁x→y↔¬x→z=
=x⋁yz⋁yz⋁x⋁yx⋁z⋁x⋁yx⋁z=
=xy⋁zy⋁z⋁xy⋁xz⋁yz⋁xy∙xz=
=xyz⋁xyz⋁xy⋁yz⋁xz=
=xz⋁xy⋁yz⋁xz.
СДНФ функции f4:
f4=xz⋁xy⋁yz⋁xz=xy⋁yz⋁xyz⋁z⋁x⋁xyz⋁xy⋁yz=
=xyz⋁xyz⋁xyz⋁xyz⋁xyz.
CКНФ функции f4:
f4=x⋁y⋁zx⋁y⋁zx⋁y⋁z.
3