第1章-数字逻辑基础（第5讲）.pdf

数字逻辑基础 逻辑代数理论 --背景 逻辑代数(switching algebra) ，称为交换代数，也叫做开 关代数。 起源于英国数学家乔治·布尔(George Boole)于1849年创立的布 尔代数，是数字电路设计理论中的数字逻辑科目的重要组成部 分。 逻辑变量之间的因果关系以及依据这些关系进行的布尔逻辑的 推理，可用代数运算表示出来，这种代数称为逻辑代数。 逻辑代数是一个由逻辑变量集、常量 0 和 1 及“与”、“或”、 “非”三种运算所构成的代数系统。 逻辑代数理论 --逻辑代数中运算关系 参与逻辑运算的变量叫逻辑变量，用字母A，B……表示。 每个变量的取值非0即1。  0、1不表示数的大小，而是代表两种不同的逻辑状态。 如果有若干个逻辑变量（如A,B,C,D ）按与、或、非三种基本 运算组合在一起，得到一个表达式L。 对逻辑变量的任意一组取值（如0000、0001、0010 ）来说，L 有唯一的值与之对应，则称L为逻辑函数。  由逻辑变量A、B、C、D所表示的逻辑函数记为： L=f(A,B,C,D) 逻辑代数理论 --逻辑代数中运算关系 两个主要的二元运算的符号定义为 (逻辑与)和 (逻辑或) ， 把单一的一元运算的符号定义为 (逻辑非)。我们还使用值 0 (逻辑假)和 1 (逻辑真)。逻辑代数有下列性质: 结合律 交换律  吸收律 逻辑代数理论 --逻辑代数中运算关系 分配律 互补律 幂等律 逻辑代数理论 --逻辑代数中运算关系 有界律 德.摩根定律 对合律 逻辑代数理论 --代数的基本规则 代入规则 任何一个含有变量 X 的等式，如果将所有出现 X 的位置，都 用一个逻辑函数F进行替换，此等式仍然成立。例如，等式： B·(A+C)=B·A+B·C 将所有出现A的地方，用函数E+F代替，则等式仍然成立： B· [(E+F)+C]=B· (E+F)+B·C=B·E+B·F+B·C 逻辑代数理论 --代数的基本规则 对偶规则 设 F 是一个逻辑函数式，如果将 F 中的所有的·变成 + ，+ 变 成 · ，0 变成 1 ，1 变成 0 ，而变量保持不变。那么就的得到了一 个逻辑函数式 F ，这个F 就称为 F 的对偶式。如果两个逻辑函数 F 和G 相等，则它们各自的对偶式 F 和G 也相等。例如： F=A+B 对偶式 F为： F∙ 逻辑代数理论 --代数的基本规则 吸收律： 成立。 则： 它们的对偶式： 也是成立的。 逻辑代数理论 --代数的基本规则 反演规则 当已知一个逻辑函数 F ，要求时，只要把F 中的所有·变成 + ， + 变成 · ，0 变成 1 ，1 变成 0 ，原变量变成反变量，反变量变成 原变量，即得。例如：