2.1个体、谓词与量词 2.2谓词公式 2.3谓词演算的等价式与蕴含式 2.4前束范式 2.5谓词逻辑的推理理论

同步时序电路设计是其分析的逆过程,是根据对电路逻辑功能的要求设计出具体的时序 逻辑电路。 同步时序电路是由触发器和组合逻辑构成,其设计就是选择触发器和寻找组合电路, 并将二者有机连接构造出满足设计要求的时序逻辑电路的过程

2.10逻辑函数的与非门线路实现 通常逻辑函数用与、或、非门实现。 与非门是“万能门”,只用与非门就可实现任何 数字系统。 证明:仅用与非门即可实现与、或、非运算。 1.非是一个输入的与非。 2.与是与非再倒相。 3.或是倒相再与非

基本要求：理解逻辑代数的基本逻辑运算，懂得在数字电子技术中数学运算是用逻辑运算实现的；掌握逻辑运算规则、逻辑函数的表示、逻辑函数的标准表达式、卡诺图化简等基本理论；懂得从电子技术角度，逻辑运算通过电路实现；初步理解逻辑门电路的基础概念及其接口特性；掌握利用逻辑代数知识分析组合逻辑电路的一般过程及其方法；了解用逻辑门电路设计组合逻辑电路的一般过程；掌握译码器、编码器、数据选择器等常用中规模组合逻辑电路芯片的逻辑功能及其特点；掌握利用译码器、数据选择器实现组合逻辑电路的一般过程及其应用方法

5.1 异步时序逻辑电路的特点及模型 5.2 脉冲异步时序逻辑电路 5.3 电平异步时序逻辑电路的分析与设计

一、分析的目的 了解逻辑电路的功能 二、分析的步骤 数字电路: 分组合逻辑电路、 时序逻辑电路两大类 功能特点：任意时刻的输出信号只与此时刻的输入信号有关

本章要求: >掌握组合逻辑电路的基本分析方法和一般设计过程 >掌握常见逻辑模块的功能及其使用 >掌握实际逻辑电路中冒险现象的形成原理及其防止

3.1 概述 3.2 组合逻辑电路的分析方法和设计方法 3.3 若干常用的组合逻辑电路 3.4 组合逻辑电路中的竞争－冒险现象

4.1 概述 4.2 组合逻辑电路的分析与设计 4.3 常用组合逻辑电路 4.4 用PLD实现组合电路 4.5 组合逻辑电路的竞争与冒险

这一章的习题从内容上可以分为四种类型:逻辑等式的证明逻辑函数不同 表示方法之间的转换、逻辑函数形式的变换和逻辑函数的化简。下面分别总结、 归纳一下这几种类型习题的解题方法并给出相应的例解