A logic input is accepted only after low, middle, and high voltage cases are checked against the same thresholds. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
A logic input is a banded voltage measurement
The scan fixes the low and high thresholds, then varies only the input voltage. That makes the boundary rule visible as rows, not as prose.
Vin≤1V⇒LOW,Vin≥4V⇒HIGH
Five rows show below, edge, middle, edge, and above
The reader can scan the input column downward and see exactly where the accepted LOW band ends and the accepted HIGH band begins.