Dot convention is a source-bound sign rule in this finite model. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Dot polarity is a sign rule on cited winding voltages

The polarity row must cite two distinct winding sources before it can add or subtract them.

Vout=Va±VbV_{\text{out}}=V_a\pm V_b
Dot polarity setupThe opposing row uses two checked winding sources.Np 1Ns 1dPhi 4 Wbdt 1 sVp 4 VVs 4 Vmode aidingNp 1Ns 1dPhi 4 Wbdt 1 sVp 4 VVs 4 Vmode aidingV1 4 VV2 4 Vmode opposingVout 0 V

Aiding adds and opposing subtracts

Equal opposing windings cancel. Equal aiding windings add. Unequal opposing windings leave the difference.

VaVbmodeVout4 V4 Vopposing0 V4 V4 Vaiding8 V6 V4 Vopposing2 V\begin{array}{c|c|c|c}V_a&V_b&\text{mode}&V_{\text{out}}\\4\ \text{V}&4\ \text{V}&\text{opposing}&0\ \text{V}\\4\ \text{V}&4\ \text{V}&\text{aiding}&8\ \text{V}\\6\ \text{V}&4\ \text{V}&\text{opposing}&2\ \text{V}\\\end{array}

Opposed dot polarity subtracts equal winding voltages

The polarity row cites two distinct winding sources; it cannot cite the same voltage source twice.

4 V+(4 V)=0 Vbut aiding gives8 V4\ \text{V}+(-4\ \text{V})=0\ \text{V}\quad\text{but aiding gives}\quad8\ \text{V}
Dot polarity contrastOpposing and aiding rows use the same two checked windings.Np 1Ns 1dPhi 4 Wbdt 1 sVp 4 VVs 4 Vmode aidingNp 1Ns 1dPhi 4 Wbdt 1 sVp 4 VVs 4 Vmode aidingV1 4 VV2 4 Vmode opposingVout 0 VV1 4 VV2 4 Vmode aidingVout 8 V