The 23 -rd USE's Informatics task casual support on VK Informatics_100 as of 14/11/2019

Original task

Convert to equivalent
(x1^y1) v (x2⊕y2)=1
(x2^y2) v (x3⊕y3)=1
(x3^y3) v (x4⊕y4)=1
(x4^y4) v (x5⊕y5)=1
(x5^y5) v (x6⊕y6)=1

Here we build cross-reference table at cartridge return and fork 08.2016 chart