You do not normally represent an output used inside a rung in that way, it would be a Y (output function) represented as a AND/OR/NOR function etc just identified with the Y designation #.
Max.
The Y output function as all the other functions, should have a separate identifier in order to separate one from the other, IOW Y1 Y2 etc, the corresponding function inside a rung would be a boolean function and it identifier, as e.g Y1 -| |- ,
I am no expert on boolean arithmetic only as it pertains to applications such as PLC programming for e.g. and circuit ladder as portrayed in the Schneider PDF.
Max.
Obviously that format does not correspond to the Boolean format I am used to where (Y) represents a final result.
It would be -|Y|- used as part of the decision inside a string.
Max.