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=31 A=3 A\beta I_B=3\cdot 1\ \text{A}=3\ \text{A}
Input highThe base and collector checks share the same base current.output 0 Vinput 5 Vdrop 1 Vbase 1 Adrive 3 Aload 3 Acollector 3 AsaturationLOW

Saturation pulls the output low

The load demand is also 3 A, so the transistor saturates and the output is 0 V.

IC=3 A,Vout=0 VLOWI_C=3\ \text{A},\quad V_\text{out}=0\ \text{V}\Rightarrow \text{LOW}
Output lowLOW is a region result, not a truth-table assertion.output 0 Vinput 5 Vdrop 1 Vbase 1 Adrive 3 Aload 3 Acollector 3 AsaturationLOW