• 2.1 基本逻辑运算和复合逻辑运算 • 2.2 逻辑函数及其描述 • 2.3 逻辑代数的运算法则 • 2.4 逻辑函数表达式的形式及其变换 • 2.5 逻辑函数的标准形式 • 2.6 逻辑函数的公式化简法 • 2.7 逻辑函数的卡诺图化简法

4.1 组合逻辑电路的基本知识 4.2 常见的组合逻辑电路 4.3 应用与实验

17.1组合逻辑电路的基本知识 17.2常见的组合逻辑电路

第一节 概述 第二节 逻辑代数中的常用运算 第三节 逻辑代数的基本公式和基本运算定律

1数据域分析 2逻辑分析仪的基本原理 3逻辑分析仪的应用

§1 概述 §2 触发器的基本形式 §3 触发器按逻辑功能的分类 §4 触发器逻辑功能的转换 §5 触发器的触发方式 §4.6 应用举例

2.1 理想开关 2.2 MOSFET开关 2.3 基本的CMOS逻辑门 2.4 CMOS复合逻辑门 2.5 传输门电路 2.6 时钟控制和数据流控制

1.1 数制与BCD码 1.1.1 常用数制 1.1.2 几种简单的编码 1.2 逻辑代数基础 1.2.1 基本逻辑运算 1.2.2 复合逻辑运算 1.2.3 逻辑电平及正、负逻辑 1.2.6 逻辑函数的化简 1.2.5 逻辑函数的标准形式 1.2.4 基本定律和规则

1.1 数制与编码 1.1.1 数制 1.1.２ 数制间的转换 1.1.3 编码 1.2 逻辑代数 1.2.1 逻辑变量与逻辑函数的概念 1.2.2 三种基本逻辑及运算 1.2.3 复合逻辑及其运算 1.2.4 逻辑函数的描述 1.2.5 逻辑代数的定律、规则及常用公式 1.3 逻辑函数化简 1.4 VHDL语言描述

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