A Schmitt input uses the upper threshold to leave a prior LOW state. 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 prior state is LOW before crossing
The input starts from a LOW history. The upper threshold is 3 volts.
Vupper=3V
Crossing the upper threshold switches HIGH
The input is 4 volts, above the upper threshold, so the output becomes HIGH.