Switching fork diagrams and Mapping Metod for system per request 01/05/2018 (BU's Queue picked up)

System :-

(x1 => x2) v (x2 =>x1)^x3 =1
x2 v x3 v (x2^x3 => x4 ) =1
(x3 => x4) v (x4 =>x3)^x5 =1
x4 v x5 v (x4^x5 => x6) =1
(x5 => x6) v (x6 =>x5)^x7 =1
x6 v x7 v (x6^x7 => x8) =1