第一节 概述 第二节 可编程阵列逻辑器件（PAL） 第三节 通用阵列逻辑GAL器件 第四节 现场可编程门阵列FPGA

6.1 概述 6.2 时序逻辑电路的分析 6.3 寄存器、移位寄存器

第四节 逻辑函数及其表示方法 第五节 逻辑函数的公式化简化

第一节 概述 第二节 逻辑代数中的常用运算 第三节 逻辑代数的基本公式和基本运算定律

3.1 数字集成电路的分类 3.2 TTL集成逻辑门 3.3 MOS集成逻辑门 3.4 集成门电路使用中的实际问题

▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化

§1 概述 §2 触发器的基本形式 §3 触发器按逻辑功能的分类 §4 触发器逻辑功能的转换 §5 触发器的触发方式 §4.6 应用举例

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

2.1 逻辑代数 2.2 逻辑函数的卡诺图化简法 2.3 硬件描述语言Verilog HDL基础

2.6.3 CMOS反相器的动态特性 2.6.4 其他类型的CMOS门电路 3.1 概述 3.2 组合逻辑电路的分析和设计方法