Original system
(x1^x2) v (x1 v x3)^(x1 v y1)=1
(x2^x3) v (x2 v x4)^(x2 v y2)=0
(x3^x4) v (x3 v x5)^(x3 v y3)=1
(x4^x5) v (x4 v x6)^(x4 v y4)=0
(x5^x6) v (x5 v x7)^(x5 v y5)=1
(x6^x7) v (x6 v x8)^(x6 v y6)=0
Notice that we would have two arrows charts . The first on for equations with odd numbers and the second one for equations with even numbers
(x1^x2) v (x1 v x3)^(x1 v y1)=1
(x2^x3) v (x2 v x4)^(x2 v y2)=0
(x3^x4) v (x3 v x5)^(x3 v y3)=1
(x4^x5) v (x4 v x6)^(x4 v y4)=0
(x5^x6) v (x5 v x7)^(x5 v y5)=1
(x6^x7) v (x6 v x8)^(x6 v y6)=0
Notice that we would have two arrows charts . The first on for equations with odd numbers and the second one for equations with even numbers
No comments:
Post a Comment