The 23 -rd USE's Informatics task casual support on VK Informatics_100

Original source

Convert  to equivalent

(x1⊕x2) v (y1⊕y2)=1
(x2⊕x3) v (y2⊕y3)=1
(x3⊕x4) v (y3⊕y4)=1
(x4⊕x5) v (y4⊕y5)=1
x5≡y5=1