A logic input is accepted only after exact voltage thresholds classify it. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Equality at the low threshold is LOW
An input of 1 volt equals the low threshold, so the helper classifies it as LOW.
1V≤1V⇒LOW
Equality at the high threshold is HIGH
An input of 4 volts equals the high threshold, so the helper classifies it as HIGH.