数理逻辑（离散数学）学习笔记（7）

本文详细解析了计算机中加法运算的实现原理，通过分析二进制加法过程，介绍了进位标志和和的计算方法，并给出了真值表及主析取范式，最后展示了基于这些理论设计的加法电路。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

计算机中的加法实现

分析： $c = a + b$ 转为二进制为： $a=(a_na_{n-1}...a_2a_1)_2,b=(b_nb_{n-1}...b_2b_1)_2$ 则，

加数		$a_n$	$a_{n-1}$	…	$a_2$	$a_1$
加数		$b_n$	$b_{n-1}$	…	$b_2$	$b_1$
进位标志	$e_{n+1}$	$e_n$	$e_{n-1}$	…	$e_2$	$e_1$
和	$c_{n+1}$	c_n	$c_n$	…	$c_2$	$c_1$

由上表可以得知进位标志 $e_i$ 是由 $e_{i-1},a_i,b_i和e_i$ 共同决定的。 $c_i$ 是由 $a_i,b_i和e_i$ 共同决定的。所以，需要列出 $c_i，a_i,b_i和e_i$ 真值表。关于进位标志的说明： $e_{i-1}=1表示i-1位的计算有向$ i $位进一的值$

$a_i$	$b_i$	$e_{i-1}$	$e_i$	$c_i$
0	0	0	0	0
0	0	1	1	0
0	1	0	1	0
0	1	1	0	1
1	0	0	1	0
1	0	1	0	1
1	1	0	0	1
1	1	1	1	1

根据真值表可以得到 $c_i和e_i$ 的主析取范式：
$c_i = (¬a_i∧¬b_i∧e_{i-1})∨(¬a_i∧b_i∧¬e_{i-1})∨(a_i∧¬b_i∧¬e_{i-1})∨(a_i∧b_i∧e_{i-1})$ —①
$e_i = (¬a_i∧b_i∧e_{i-1})∨(a_i∧¬b_i∧e_{i-1})∨(a_i∧b_i∧¬e_{i-1})∨(a_i∧b_i∧e_{i-1})$ —②
由①②两式可以设计出 $a_i+b_i$ 的加法电路：
在这里插入图片描述
那么扩展到整体的加法电路就可以模块化设计为：

以上就是根据前面所学得内容得到的加法器。现实中使用的电路要比这个设计优秀太多。这里只是对前面所学知识的一次应用。