目录
在计算机科学领域，定点加法和减法运算是最基础的算术运算之一。本文将详细介绍如何使用补码进行加法和减法，并讨论证书的概念与检测方法，最后介绍基本的二进制加法器和减法器的工作原理。
1. 补码加法
补码（Two's Complement）是计算机表示有符号整数的一种方法。使用补码进行加法运算具有简单、统一的特点，因为它将减法运算转换为加法运算。
补码的生成：
- 对于正数，补码和原码相同。
- 对于负数，补码为该数的原码按位取反加一。
补码加法的步骤：
- 将两个数转换为补码形式。
- 将两个补码数相加，注意进位。
- 如果结果超出固定位数，忽略最高位的进位。
- 如果结果为负数，其补码形式需要解释为负数。
示例：
2 的补码（8位）：00000010
-3 的补码（8位）：11111101
相加：
00000010
+ 11111101
--------
11111111 （补码形式的 -1）结果 11111111 解释为补码形式的 -1。
2. 补码减法
补码减法的优势在于可以将减法问题转换为加法问题，从而简化硬件电路设计。
补码减法的步骤：
- 被减数转换为补码形式。
- 减数转换为补码形式后再按位取反加一，得到减数的补码形式。
- 将被减数和减数的补码形式相加，注意进位。
- 忽略最高位的进位，如果有。
- 结果解释为补码形式。
示例：
5 的补码（8位）：00000101
3 的补码（8位）：00000011
-3 的补码（8位）：11111101 （取反加一）
相加：
00000101
+ 11111101
--------
00000010 （补码形式的 2）结果 00000010 解释为补码形式的 2。
3. 证书的概念与检测方法
在计算中，我们需要验证运算结果的正确性，这通常称为校验或检测。在定点运算中，常见的检测方法包括溢出检测和进位检测。
溢出检测：
- 溢出发生在两个相同符号数相加时，结果符号与原数符号不同时。
- 溢出检测可以通过检查最高位的进位和次高位的进位是否不同来实现。
示例：
01111111 (127)
+ 00000001 (1)
--------
10000000 (-128) # 此处发生溢出，正数加正数结果却为负数进位检测：
- 进位检测用于无符号数的加法，检查最高位的进位是否为 1。
- 如果最高位有进位，说明结果超出表示范围。
4. 基本的二进制加法/减法器
二进制加法器：
- 半加器（Half Adder）：计算两个单比特的和和进位。使用异或（XOR）门计算和，使用与（AND）门计算进位。
- 公式：
Sum = A ⊕ B Carry = A ∧ B - 全加器（Full Adder）：计算两个单比特和一个进位的和和进位。由两个半加器和一个或（OR）门组成。
- 公式：
Sum = A ⊕ B ⊕ Cin Carry = (A ∧ B) ∨ (Cin ∧ (A ⊕ B))
- 公式：
- 公式：
二进制减法器：
- 半减器（Half Subtractor）：计算两个单比特的差和借位。使用异或（XOR）门计算差，使用与非（NAND）门计算借位。
- 公式：
Difference = A ⊕ B Borrow = ¬A ∧ B
- 公式：
- 全减器（Full Subtractor）：计算两个单比特和一个借位的差和借位。由两个半减器和一个或（OR）门组成。
- 公式：
全减器（Full Subtractor）：计算两个单比特和一个借位的差和借位。由两个半减器和一个或（OR）门组成。 公式：
- 公式：