数字逻辑的数学基础——布尔代数.pdf

课程代码 第二讲数字逻辑的数学基础 ——布尔代数 佟冬 Microprocessor RD Center tongdong@ /courses/digital/2011fall 1 主要内容  布尔代数基础  布尔函数  逻辑电路  数字电路基础 2 课程回顾  数字系统  对数字处理和存储的系统  设计  给定一个问题的表述，从可用部件集合中从优选择， 得到一种解决问题的办法。  数制和编码 A/D 存储 模 数 二 进 拟 字 制 世 世 编 码 处理处理 界 D/A 界 3 数字计算机的数学基础  1850s, George Boole  将逻辑表述映射到符号  采用数学的方法处理逻辑推理 “An investigation into the Laws of Thought ”  1938s, Claude Elwood Shannon  将布尔代数和硬件布尔相联系  第一次提出bit （比特） “A Symbolic Analysis of Relay and Switching Circuits(1938) ” Master thesis in MIT.  1941香农加入ATT Bell 实验室  “The mathematical theory of communication ”, 1948 4 2.1 布尔代数 5 公理(1)  公理1：（封闭性）布尔代数是一个封闭的代 数系统，它包含一个集合B，B中包括两个以上 的元素；在集合B上定义两个二元操作{•}和 {+}，一个一元操作{’}分别称为与(AND) 、或 (OR)和非(NOT)；对集合B中的任意两个元素a 和b，有：  a • b 是B中的元素  a + b 是B中的元素  类比  AND和乘法相类比  OR和加法相类比 6 公理(2)  公理2：（交换律）对于任何B中的元素 a 和b：  (a) a + b = b + a  (b) a • b = b • a  公理3：（结合律）对于任何B中的元素 a, b, c：  (a) a + (b + c) = (a + b) + c  (b) a • (b • c) = (a • b) • c