Reverse Contact
Reverse contacts enable a Boolean operation between a connection line state and the Boolean negation of a Boolean variable.
![]() | |
Left Connection | Right Connection |
The state of the connection line on the right of the contact is the logical AND between the state of the left connection line and the Boolean negation of the value of the variable associated with the contact.
Example

(* ST Equivalence: *)
output1 := NOT (input1) AND NOT (input2);
Provide Feedback