8421BCD码加法的修正证明
正数表示的两种定义
对于一个正数 n n n我们可以将其以两种形式表示
公式一: n = ∑ i = 0 m A i × 1 0 i , ∀ i ∈ [ 0 , m ] , A i ∈ [ 0 , 9 ] n=\sum_{i=0}^{m}A_i\times 10^i,\forall i\in[0,m],A_i\in[0,9] n=∑i=0mAi×10i,∀i∈[0,m],Ai∈[0,9]
公式二: n = ∑ i = 0 m A i × 1 0 i , ∀ i ∈ [ 0 , m ] , A i ∈ [ 0 , 18 ] n=\sum_{i=0}^{m}A_i\times 10^i,\forall i\in[0,m],A_i\in[0,18] n=∑i=0mAi×10i,∀i∈[0,m],Ai∈[0,18]
修正证明
现设 a , b ≥ 0 a,b\geq0 a,b≥0,用公式一分别表示 a , b a,b a,b得
a = ∑ i = 0 m A i × 1 0 i , ∀ i ∈ [