Electronic signals can be modelled as choices that open or close an ideal switch. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
A low signal means open
In this simplified electronic model, a LOW signal is represented by an open switch.
LOW⇒open
A high signal means closed
A HIGH signal is represented by a closed switch, so the load has a conducting path.
HIGH⇒closed
The signal chooses topology before size
The signal state decides whether the path exists. Current size comes after that graph choice.