Для заданной переключательной функции fx

В заданной формуле расставим скобки в соответствии с приоритетом булевых операций:
fx,y,z,p=y→xz⟸p⊕x↓y⇔z⋁x⋀p.
Имеем:
A=y→xz⟸p⊕x↓y=
=y→x⋁z⟸p⊕xy=
=y⋁x⋁z⟸pxy⋁px⋁y=
=x⋁y⋁z⟸xyp⋁xp⋁yp=
=[x⋁y⋁z⋁xyp⋁xp⋁yp=
=x⋁y⋁z⋁x⋁y⋁px⋁py⋁p=
=x⋁y⋁z⋁x⋁y⋁pxy⋁p=
=x⋁y⋁z⋁xyp⋁xp⋁yp=
=x⋁y⋁z⋁p.
Далее
B=z⋁x⋀p=z⋁xp.
Тогда
fx,y,z,p=A⇔B=AB⋁AB=
=x⋁y⋁z⋁pz⋁xp⋁x⋁y⋁z⋁pz⋁xp=
=xz⋁yz⋁zp⋁xyp⋁xzp⋁xp⋁xyzpxz⋁zp=
=xz⋁yz⋁zp⋁xp.
Теперь можем строить таблицу истинности.
p 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
z 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
y 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
x 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
f 0 0 1