第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介

本章从什么是触发器出发，介绍了常见触发器逻辑功能及其动作特点；介绍了时序逻辑电路的构成与分析方法；举例说明了时序逻辑电路设计的一般方法并重点介绍了寄存器、计数器电路的组成与原理，常见寄存器、计数器集成芯片；最后介绍了脉冲单元电路。读者应深入理解特征方程、状态图、时序图等时序逻辑电路分析与设计的基本概念，理解常见触发器逻辑功能、动作特点，掌握常见寄存器、计数器集成芯片的逻辑功能及其应用

1．门电路：逻辑门电路是指能够实现各种基本逻辑关系的电路， 简称“门 电路”或逻辑元件。最基本的门电路是与门、或门和非门。 2．在逻辑电路中, 逻辑事件的是与否用电路电平的高、低来表示。 若用1 代表低电平、0代表高电平，则称为正逻辑。相反为负逻辑

组合逻辑电路分析与设计 逻辑函数的标准表示方法 只读存储器 常用组合逻辑电路 组合逻辑电路的竞争与冒险 组合逻辑电路的VHDL描述

什么是数理逻辑 字面含义:数学理论的逻辑。逻辑是研 究演绎(推理)规律的学科。 广义理解:用数学方法研究演绎规律的 学科。 狭义理解:用数学方法研究数学中演绎 规律和数学基础的学科。 研究对象:推理过程的正确性标准。 是数学的一个分支。又称符号逻辑等

（1）数字电路的基本逻辑单元——门电路，及其对应的逻辑运算与逻辑符号 。 （2）集电极开路门和三态逻辑门。 （3）TTL集成门逻辑功能、外特性和性能参数。 （4）CMOS集成门的逻辑功能、外特性和性能参数。 （5） TTL 与CMOS集成门的接口方法

本章首先介绍分析和设计数字电路时常用的数学工具--逻辑代数和卡 诺图，包括逻辑代数的基本公式和基本定律，逻辑函数的代数化简法和卡诺图化简法。 然后介绍组合逻辑电路的分析方法与设计方法。另外，按其结构和工作原理不同，数字 电路可分为两大类，组合逻辑电路和时序逻辑电路

4.1概述 4.2.1 组合逻辑电路的分析方法 4.2 组合逻辑电路的分析方法和设计方法 4.2.2 组合逻辑电路的设计方法 4.3 若干常用组合逻辑电路 4.3.1 编码器 4.3.2 译码器 4.3.3 数据选择器 4.3.4 加法器 4.3.5 数值比较器 4.4 组合逻辑电路中的竞争-冒险现象 4.4.1 竞争-冒险现象及成因 4.4.2检查的竞争－冒险现象方法 4.4.3 消除竞争-冒险现象的方法

7.1 PLD 概述 7.1.1 PLD 的电路结构及分类 7.1.2 PLD 的编程工艺及描述的逻辑规则和符号 7.1.3 PLD 的设计过程及主要优点 7.2 只读存储器 7.2.1 ROM 的内部结构 7.2.2 用ROM 实现组合逻辑设计 7.2.3 常用的LSI ROM器件 7.3 可编程逻辑阵列 7.4 可编程阵列逻辑 7.4.1 组合PAL器件 7.4.2 时序PAL器件 7.5 通用逻辑阵列概述 7.5.1 GAL器件的主要特点 7.5.2 GAL器件的基本机构 7.5.3 GAL器件的命名及分类 7.6 硬件描述语言

4.1组合逻辑电路分析 4.2常用组合逻辑电路的介绍 4.3单元级组合逻辑电路的分析方法 4.4组合逻辑电路的设计 4.5组合逻辑电路中的竞争与冒险