The equality case is explicit so the comparator output is never a caption guess. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Equal inputs trigger the declared tie rule

Both comparator inputs are 6 volts.

6 V=6 V6\ \text{V} = 6\ \text{V}
Comparator tieThe tie rule is part of the checked helper.V6 VV6 VV0 VLOWtie LOWplusminusoutput

This book ties equality to the low rail

The declared tie rule selects the low rail, so the output is 0 volts.

Vout=0 VV_{\text{out}} = 0\ \text{V}
Comparator tieEquality is not left ambiguous.V6 VV6 VV0 VLOWtie LOWplusminusoutput