计算机的算术运算和逻辑运算都可以转化为加法运算,所以如何构造一个加法器是计算说明理论的基础。
1 布尔代数
乔治·布尔(George Boole,1815.11.2~1864)在1854年出版了《思维规律的研究》一书,在这本书中布尔介绍了现在以他的名字命名的布尔代数。布尔代数是数学和逻辑学和逻辑学的结合,逻辑上的联言命题和选言命题可以用数学的符号来表示,如用字母来表示命题,用二进制1表示真,0表示假。
1.1 联言命题
联言推理中各支命题(如A、B)之间“并且”的逻辑关系在布尔代数中使用“×”这个符号,表示为:A×B或AB。
其真值表为:
1.2 选言命题
选言推理中各支命题(如A、B)之间“或者”的逻辑关系在布尔代数中使用“+”这个符号,表示为:A+B。
其真值表为:
2 开关电路
克劳德·艾尔伍德·香农(Claude Elwood