Examine If Open (XIO)

XIO supports a Boolean operation between a connection line state and the Boolean negation of a Boolean variable.

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.