Solution of System in Boolean variables cloning P233 to x,y,z variables (just for fun)

Original system

(((x1 =>y1 =>z1) =>x2 )=>y2) =>z2=1
(((x2 =>y2 =>z2) =>x3) =>y3) =>z3=1
(((x3 =>y3 =>z3) =>x4) =>y4) =>z4=1
(((x4 =>y4 =>z4) =>x5) =>y5) =>z5=1
(((x5 =>y5 =>z5) =>x6) =>y6) =>z6=1
(((x6 =>y6 =>z6) =>x7) =>y7) =>z7=1

Solution of one system in Boolean Variables from 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