一、ABEL语言逻辑方程设计法 逻辑方程是ABEL源文件描述逻辑设计 的一种方法。它既可进行组合逻辑设计, 也可进行时序逻辑设计,但有时不如真值 表和状态图逻辑设计简单、易懂 但任何一种逻辑描述方式,经EDA软件 编译后,都会变成逻辑方程的形式

“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

第一节普通逻辑基本规律的概述 逻辑思维规律作为普通逻辑的研究对象,它包括两个部分的内容:一是概念、判断、推 理等各种逻辑形式的特有规律,二是普遍适用于各种逻辑形式的基本规律。就普通逻辑的基 本规律而言,主要包括:同一律、矛盾律(或称不矛盾律)排中律和充足理由律

1. 掌握基本门电路的逻辑功能、逻辑符号、真值 表和逻辑表达式。了解 TTL门电路的特点。 3. 会分析和设计简单的组合逻辑电路。 4. 理解加法器、编码器、译码器等常用组合逻辑 电路的工作原理和功能。 5. 学会数字集成电路的使用方法。 本章要求： 2. 会用逻辑代数的基本运算法则化简逻辑函数

13.1 数字电路的基础知识 13.2 基本逻辑关系 13.3 逻辑代数及运算规则 13.4 逻辑函数的表示法 13.5 逻辑函数的化简

2.1 逻辑代数的三种基本运算 2.2 逻辑代数的基本定律和规则 2.3 复合逻辑 2.4 逻辑函数的两种标准形式 2.5 逻辑函数的代数化简法 2.6 逻辑函数的卡诺图化简 2.7 非完全描述逻辑函数的化简

6.1 概述 6.2 时序逻辑电路的分析方法 6.3 若干常用的时序逻辑电路 6.4 时序逻辑电路的设计方法 6.5 用可编程逻辑器件实现同步时序逻辑电路 6.6 时序逻辑电路中的竞争－冒险现象

4.1 概述 4.2 组合逻辑电路的分析方法 4.3 组合逻辑电路的基本设计方法 4.4 若干常用的组合逻辑电路模块 4.5 层次化和模块化的设计方法 4.6 可编程逻辑器件 4.7 硬件描述语言 4.8 用可编程通用模块设计组合逻辑电路 4.9 组合逻辑电路中的竞争－冒险

2.1二极管的开关特性 2.2BJT的开关特性 2.3基本逻辑门电路 2.4TTL逻辑门电路 2.5射极耦合逻辑门电路 2.6CMs逻辑门电路 2.7NMOS逻辑门电路 2.8正负逻辑问题(自学) 2.9逻辑门电路使用中的几个实际问题

3.1 逻辑电路设计文档标准 3.1.1 框图 3.1.2 门的符号标准 3.1.3 信号名和有效级 3.1.4 引端的有效级 3.1.5 引端有效级的变换 3.1.6 图面布局及总线 3.1.7 时间图 3.2 组合电路分析 3.2.1 穷举法 3.2.2 逻辑代数法 3.2.3 利用摩根定律分析 3.2.4 利用卡诺图 3.3 组合电路设计 3.3.1 根据逻辑问题的描述、写出逻辑表达式 3.3.2 逻辑电路的变换 3.4 组合电路中的竞争与险象 3.4.1 竞争现象 3.4.2 险象 3.4.3 险象的判别 3.4.4 险象的消除 3.5 常用MSI组合逻辑器件及应用 3.5.1 译码器 3.5.2 编码器 3.5.3 三态缓冲器 3.5.4 多路选择器 3.5.5 奇偶校验电路 3.5.6 比较器 3.5.7 加法器