Solution of one system in Boolean Variables from VK's Informatics_100 23rd database via 08/2016 technique

Original System



Convert system as follows

(x1=>y1)=>(¬x2^y2)=1

(x2=>y2)=>(¬x3^y3)=1

(x3=>y3)=>(¬x4^y4)=1

(x4=>y4)=>(¬x5^y5)=1

(x5=>y5)=>(¬x6^y6)=1

(x6=>y6)=>(¬x7^y7)=1

Fork 08/2016 diagram