Three threshold rows separate lower-bound, in-band hold, and upper-bound decisions. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Below the lower threshold forces LOW
Input 1 volt is below the lower threshold 2 volts, so prior HIGH is replaced by LOW.
1V≤2V⇒LOW
Inside the band keeps the prior state
The middle input sits between thresholds 2 and 4, so prior HIGH stays HIGH.
2V<3V<4V⇒hold HIGH
Above the upper threshold forces HIGH
Input 5 volts is above the upper threshold 4 volts, so prior LOW becomes HIGH.