补充 数据在计算机中的表示.ppt

加法公式的证明 ∵　[ｘ]补＝ｘ,　　　[ｙ]补＝2＋ｙ ∴　[ｘ]补＋[ｙ]补＝ｘ＋2＋ｙ＝2＋(ｘ＋ｙ) 　　当ｘ＋ｙ0时, 2 ＋ (ｘ＋ｙ) 2,进位2必丢失,又因(ｘ＋ｙ)0， 故[ｘ]补＋[ｙ]补＝ｘ＋ｙ＝[ｘ＋ｙ]补(mod 2) 当ｘ＋ｙ0时, 2 ＋ (ｘ＋ｙ) 2,又因(ｘ＋ｙ)0， 故[ｘ]补＋[ｙ]补＝2＋(ｘ＋ｙ)＝[ｘ＋ｙ]补(mod 2) (3)ｘ0,ｙ0,则ｘ＋ｙ0或 ｘ＋ｙ0。 　　这种情况和第2种情况一样,把ｘ和ｙ的位置对调即得证。 加法公式的证明 (4)ｘ0,ｙ0,则ｘ＋ｙ0。 相加两数都是负数,则其和也一定是负数。 ∵　[ｘ]补＝2＋ｘ,　　　[ｙ]补＝2＋ｙ ∴　[ｘ]补＋[ｙ]补＝2＋ｘ＋2＋ｙ＝2＋(2＋ｘ＋ｙ)=2+x+y 所以 [ｘ]补＋[ｙ]补＝2＋(ｘ＋ｙ)＝[ｘ＋ｙ]补　(mod 2) 　　至此我们证明了,在模2意义下,任意两数的补码之和等于该两数之和的补码.这是补码加法的理论基础,其结论也适用于定点整数 定点运算器 ——定点加减法 例: X＝0.1011 Y＝-0.0101，求 X+Y＝？ 解: [X]补=0. 1 0 1 1 [Y]补=1. 1 0 1 1 + 丢到 1 [X]补+[Y]补=0.0110 X+Y=0.0110 1 0. 0 1 1 0 定点运算器 ——定点