AdditionBinary(A,B,C)
CF=0
for i=1 to n
if A[i]+B[i]+CF=0
C[i]=0
CF=0
elseif A[i]+B[i]+CF=1
C[i]=1
CF=0
elseif A[i]+B[i]+CF=2
C[i]=0
CF=1
elseif A[i]+B[i]+CF=3
C[i]=1
CF=1
if CF=1
C[i+1]=1
else
C[i]=0
暂无形式化描述