公式证明: 假设采用定点小数表示,因此证明的先决条件是: x|<1,lyl<1,|x+y|<1。 (1)x>0,y>0,则x+y>0。 相加两数都是正数,故其和也一定是正数。正数的补码和原 码是一样的,可得: Ixl补+[yl补=x+y=x+y补(mod2) 计算机组成原理计算机组成原理 7 假设采用定点小数表示,因此证明的先决条件是: ︱x︱﹤1, ︱y︱﹤1, ︱x＋y︱﹤1。 (1) x﹥0, y﹥0, 则 x＋y﹥0。 相加两数都是正数,故其和也一定是正数。正数的补码和原 码是一样的,可得： [ x ]补＋[ y ]补＝x＋y＝[ x＋y ]补 (mod 2) 公式证明: