5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5.5 推理演算 5．6 谓词逻辑的归结推理法

5.1时序逻辑电路的特点和表示方法 5.2时序电路的分析方法 5.3寄存器 5.4计数器 5.5顺序脉冲发生器 5.6时序电路的设计方法

Syntax Formation Rules for P The The Axiomatic Structure of P Theorems and Derived Rules

2.1 概述 2.2 半导体二极管和三极管的开关特性 2.3 最简单的与、或、非门电路

一、单极型MOS(Metal Oxide Semiconductor)集成电路分PMOS、NMOS和CMOS三种。 二、NMOS电气性能较好，工艺较简单，适合制作高性能的存储器、微处理器等大规模集成电路。 三、而由NMOS和PMOS构成的互补型CMOS电路以其性能好、功耗低等显著特点，得到愈来愈广泛的应用。 四、主要介绍NMOS和CMOS门电路

一、单极型MOS(Metal Oxide Semiconductor)集成电路分PMOS、NMOS和CMOS三种。 二、NMOS电气性能较好，工艺较简单，适合制作高性能的存储器、微处理器等大规模集成电路。 三、而由NMOS和PMOS构成的互补型CMOS电路以其性能好、功耗低等显著特点，得到愈来愈广泛的应用。 四、主要介绍NMOS和CMOS门电路

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

机器学习：一种逻辑强化学习的tableau推理方法

本章主要介绍数字电路中常用的几种数制的表示方法及其转换规律，数字系统中常见的几种编码及逻辑代数知识

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