Original system
Orinal system
¬(x1≡x2)v¬(x1≡x3)^(x2≡x3)=1
¬(x3≡x4)v¬(x3≡x5)^(x4≡x5)=1
¬(x5≡x6)v¬(x5≡x7)^(x6≡x7)=1
¬(x7≡x8)v¬(x7≡x9)^(x8≡x9)=1
Convert to equivalent
(x1≡x2) => (x1⊕x3)^(x2≡x3) =1
(x3≡x4) => (x3⊕x5)^(x4≡x5) =1
(x5≡x6) => (x5⊕x7)^(x6≡x7) =1
(x7≡x8) => (x7⊕x9)^(x8≡x9) =1
Here we have transition variables x3,x5,x7 rather then transition pairs
between equations. Thus we would manage via 08.2016 charts.
Consider a bit more complex sample of similar system
((x1≡x2)≡x3)=>(x1⊕x4)^((x2≡x3)≡x4)=1
((x4≡x5)≡x6)=>(x4⊕x7)^((x5≡x6)≡x7)=1
((x7≡x8)≡x9)=>(x7⊕x10)^((x8≡x9)≡x10)=1
Transition variables are x4 and x7. Fork 08.2016 chart for this system
Orinal system
¬(x1≡x2)v¬(x1≡x3)^(x2≡x3)=1
¬(x3≡x4)v¬(x3≡x5)^(x4≡x5)=1
¬(x5≡x6)v¬(x5≡x7)^(x6≡x7)=1
¬(x7≡x8)v¬(x7≡x9)^(x8≡x9)=1
Convert to equivalent
(x1≡x2) => (x1⊕x3)^(x2≡x3) =1
(x3≡x4) => (x3⊕x5)^(x4≡x5) =1
(x5≡x6) => (x5⊕x7)^(x6≡x7) =1
(x7≡x8) => (x7⊕x9)^(x8≡x9) =1
Here we have transition variables x3,x5,x7 rather then transition pairs
between equations. Thus we would manage via 08.2016 charts.
Consider a bit more complex sample of similar system
((x1≡x2)≡x3)=>(x1⊕x4)^((x2≡x3)≡x4)=1
((x4≡x5)≡x6)=>(x4⊕x7)^((x5≡x6)≡x7)=1
((x7≡x8)≡x9)=>(x7⊕x10)^((x8≡x9)≡x10)=1
Transition variables are x4 and x7. Fork 08.2016 chart for this system
No comments:
Post a Comment