\(M_m = M|D = 00100100 | 0 = 00100100\) \(R_{I|S} = \sim M_m = 11011011\) \(notM_I = R_{IS} | SD = R_{IS} | 0 = 11011011\) \(R_{I|S}orS = notM_I \wedge D = notM_I \wedge 0 = 11011011\) \(Sum = notM_I + SD = 11011011 + 0 = 11011011\) \(MaskSum = Sum \& R_{I|S} = 11011011 \& 11011011 = 11011011\) \(V_0 = MaskSum \wedge R_{I|S}orS = 11011011\) \(V_{+1} = D | (MaskSum \& SD) = 0 | (11011011 \& 0) = 0\) \(V_0^{\ll} = V_0 \ll 1 = 0\) \(V_1^{\ll} = V_1 \ll 1 = 0\) \(V_1^{\ll} = V_1^\ll + 1 = 00000001\) \(D = M_m \& V_{+1}^\ll = 00100100 \& 00000001 = 0\) \(SD = V_{+1}^\ll | (M_m \wedge V_0^\ll) = 00000001 | (00100100 \& 0) = 00000001\) eq ; let notmi = ris | vmz ; // NEW: We add an additional carry when the input difference is 0 or +1.