A sensed divider node can drive an ideal comparator when every stage is checked. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

The sensed divider output is exact

The sensed node is 8 volts.

Vsense=8 VV_{\text{sense}} = 8\ \text{V}
Sensor dividerThe sensed node is computed before comparison.12 V4 ohm8 ohm1 A+-4 V+-8 Vtopoutputbottom

The comparator compares against the reference

The reference is 6 volts, so the comparator output rail is 12 volts.

8 V>6 V8\ \text{V} > 6\ \text{V}
Sensor to comparatorThe comparator rail follows the exact input comparison.V8 VV6 VV12 VHIGHtie LOWplusminusoutput