补码运算的法则