13.3.1 二进制补码的运算公式