A comparator compares two voltages, so the two input nodes must be computed before the decision. 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 reference divider makes a fixed node

The reference divider uses equal resistors, so its output is 6 volts.

Vref=6 VV_{\text{ref}} = 6\ \text{V}
Reference dividerEqual resistors put the reference node halfway up.12 V6 ohm6 ohm1 A+-6 V+-6 Vtopoutputbottom

The sensed divider makes a higher node

The sensed divider output is 8 volts.

Vsense=8 VV_{\text{sense}} = 8\ \text{V}
Sense dividerThe sensed node is computed from its resistor ratio.12 V4 ohm8 ohm1 A+-4 V+-8 Vtopoutputbottom