Solution for system from BU's Stream Queue as of 15/05/2018 via Mapping Method

((x1^y1) = (x2^y2))  => (x3^y3) = 0
((x2^y2) v ¬(x3^y3)) => (x4^y4) = 0
((x3^y3) = (x4^y4))  => (x5^y5) = 0
((x4^y4) v ¬(x5^y5)) => (x6^y6) = 0

zj=xj^yJ

(z1 = z2) => z3   =0
(z2 v ¬z3) => z4 =0
(z3 = z4) => z5   =0
(z4 v ¬Z5) => z6 =0