Two forms of Completeness Theorem Let Γ be a set of wffs. The following parts are equivalent. If Γ |= A then Γ ` A If Γ is consistent, then Γ is satisfiable

6.4 多谐振荡器 6.5 555定时器及其应用

北京大学：《数字逻辑电路实验 Digital Circuits Laboratory》课程教学大纲

7.1 概述 7.2 施密特触发电路 7.3 单稳态电路 7.4 多谐振荡电路 7.5 555定时器及其应用

北京大学：《数字逻辑电路 Digital Circuits》课程教学大纲

5.1 概述 5.2 SR锁存器 5.3 触发器 5.4 寄存器 5.5 存储器

4.1 概述 4.2 基本RS触发器 4.3 时钟触发器 4.4 时钟触发器的直接置位和直接复位

3.1 概述 3.2 半导体二极管门电路 3.3 CMOS门电路 3.4 TTL门电路 3.5 ECL集成电路 3.6 Bi-CMOS电路 3.7 不同类型数字集成电路间的接口

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

2.4 TTL门电路 2.4.1 TTL门电路 2.4.2 TTL反相器输入输出特性