A static logic input is trusted only after below, boundary, middle, and above-threshold rows are shown. 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 scan states the accepted voltage bands first
The same low and high thresholds are reused for every row. Values at or below the low threshold are LOW; values at or above the high threshold are HIGH.
Vin≤1V⇒LOW,Vin≥4V⇒HIGH
Five voltage rows expose both boundaries
The table includes below, equality, middle, equality, and above cases. That makes the invalid band a checked row instead of a caption.