第二章：数字集合论与组合逻辑模型.docVIP

第二章:数字集合论与组合逻辑方程 数字集合论是数字电路的理论基础，包括：数字集合，数字关系与数字逻辑函数三部分。经典集合论在数字电路领域的具体应用演绎出数字集合论，布尔逻辑代数在数字电路应用方面的元理论解释，同样建立在数字集合论的基础上。布尔代数用来化简数字电路，发现具体逻辑函数之间的转换关系。这些知识的层次关系： 集合论+物理数字电路=数字集合论→布尔代数+数字集合论=数字代数。 在数字集合论的基础上，构造数字电路与集成电路的基本单元：逻辑功能器件，以进一步实现应用级的各种数字系统。逻辑功能器件分为数值逻辑器件和数量逻辑器件，数值逻辑器件包括：逻辑门电路，编码器，译码器/数据分配器，数据选择器，只读存储器，奇偶校验器等；数量逻辑器件有数值比较器，算术运算电路。近似数字系统级的可编程逻辑电路有PLA，FPLA，PAL，MGA等。 逻辑门电路产生在布尔代数理论上,使用三极管实现；其它数值逻辑器件基于数字集合论,在组合逻辑基础上实现,称为组合逻辑功能器件(没有用到布尔代数).严格地说,数量逻辑与数字集合论没有直接的理论-实践关系，而是数学上量的计算使用数字电路实现，实质是数值逻辑的复合运算，在电路规模上与数值逻辑器件不属一个量级。计算机的核心器件ALU(算术逻辑器件)综合了这两类功能，实现了逻辑功能的集大成。可以认为:实现逻辑门电路,用到晶体管逻辑;实现数字组合器件,使用数字集合论;用