Solution one system (another draft ) of Boolean equations kind of P40 with different outgoing multipliers for different Mapping Method table rows as of 18/07/19

Original system

  ((x1vy1)^z1 ≡ (x3vy3)^z3)=>((x2vy2)^z2) =1

  ((x2vy2)^z2)⊕ ((x4vy4)^z4))=>((x3vy3)^z3) =1

  ((x3vy3)^z3 ≡ (x5vy5)^z5)=>((x4vy4)^z4) =1

  ((x4vy4)^z4)⊕ ((x6vy6)^z6))=>((x5vy5)^z5) =1

Now make a substitution ( kind of design had been suggested in P-40 from ege23.pdf )

   w1=(x1 v y1)^z1

   w2=(x2 v y2)^z2
   w3=(x3 v y3)^z3
   w4=(x4 v y4)^z4
   w5=(x5 v y5)^z5

   Outgoing multipliers are located  at right hand side of diagrams

   Passing Polyakov's Control