Three loaded-node rows carry one source factor through the full front-end chain. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
One loaded volt doubles but still drives LOW
The loaded node is 1 volt. Gain 2 makes 2 volts, below the lower threshold, so the load output is 0 volts.
2⋅1V=2V
Two loaded volts hold the HIGH decision
The gain output is 4 volts, inside the band. With prior HIGH fixed, the output load receives 8 volts.
2⋅2V=4V
Three loaded volts cross the upper threshold
The final source row gives 6 volts at the gain node, above the upper threshold. The output load still sees 8 volts because the same output source and load are fixed.