Saturation creates the low output in a transistor inverter. 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 high input supplies enough base current for saturation
The base path supplies 1 A; beta makes a 3 A drive limit.
βIB=3⋅1A=3A
Saturation pulls the output low
The load demand is also 3 A, so the transistor saturates and the output is 0 V.