Для заданной булевой функции найти многочлен Жегалкина

Таблица истинности:
x y z x
z
z⇒y
z∨x
⇔ (f)
0 0 0 1 1 0 1 0
0 0 1 1 0 1 1 1
0 1 0 1 1 1 1 1
0 1 1 1 0 1 1 1
1 0 0 0 1 0 1 0
1 0 1 0 0 1 0 0
1 1 0 0 1 1 1 1
1 1 1 0 0 1 0 0
Px,y,z=C0⊕C1x⊕C2y⊕C3z⊕C4xy⊕C5xz⊕C6yz⊕C7xyz
P000=C0=0
P001=C0⊕C3=1→C3=1
P010=C0⊕C2=1→C2=1
P011=C0⊕C2⊕C3⊕C6=1→C6=1
P100=C0⊕C1=0→C1=0
P101=C0⊕C1⊕C3⊕C5=0→C5=1
P110=C0⊕C1⊕C2⊕C4=1→C4=0
P111=C0⊕C1⊕C2⊕C3⊕C4⊕C5⊕C6⊕C7=0→C7=0
→ Px,y,z=C2y⊕C3z⊕C5xz⊕C6yz=y⊕z⊕xz⊕yz
Ответ: y⊕z⊕xz⊕yz.