is it a bug? (by Richard Foo)
In simulation, there may be something wrong with negated coil. Negated coil should work contrarily to the normal one, right?
Please refer to the attachment for more details.
(no subject) (by Jonathan Westhues)
That looks correct. You assign !Y1 = X1, or Y1 = !X1 = !0 = 1. And you assign !Y2 = !X2, or Y2 = X2 = 0. (I am using the exclamation mark ! to denote inversion.)
The coil op for Y2 does appear highlighted in red, even though Y2 = 0. This is because the rung-out condition for X2 is true (since the contacts are inverting, and X2 = 0); but since the Y2 coil is inverting, Y2 = 0 when the coil's rung-in condition is true.
(no subject) (by Richard Foo)
Thank you, i am clear. Appearing highlighted in red does not mean it is true!