14.2.1 逻辑代数及基本运算 14.2.2 逻辑代数的运算法则

时序逻辑电路的输出状态不仅决定于当时的输入状态，而且与电路原来的状态有关，具有记忆功能。 触发器是时序逻辑电路的基本单元 组合逻辑电路的输出状态完全由当时的输入变量的组合状态决定，与电路的原状态无关

2.1 数字逻辑基础  2.1.1 数制、转换及编码  1）数制的基与权  2）几种进制及其特点  3）不同进制的表示方法  4）不同进制数的转换  5）信息的编码方式  2.1.2 二进制数的算术运算  2.1.3 二进制数的逻辑运算(布尔代数)  2.1.4 逻辑门电路  2.1.5 加法器电路  2.1.6 其它逻辑电路 2.2 微处理器

第一章数字电路基础 1.1数字电路的基础知识 1.2基本逻辑关系 1.3逻辑代数及运算规则 1.4逻辑函数的表示法 1.5逻辑函数的化简

第10章存储器和可编程逻辑器件 一、半导体存储器 二、可编程逻辑器件

第5章组合逻辑设计实践(一) 一、文档标准和电路定时 二、常用的中规模组合逻辑器件

3.3 常用组合逻辑电路 编码器 译码器 数据选择器 比较器 加法器 函数发生器

13.6 TTL集成门电路 13.7 其它类型的TTL门电路 13.8 组合逻辑电路的分析 13.9 组合逻辑电路的设计 13.10 集成组合逻辑电路

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。此文证明了主要是对Lw1w(Q)中的模型存在定理及推演完全性定理

6.5.5同步时序逻辑电路设计举例 例: 设计一个“11.序列检测器,用来检测串行二进制序列,要求每当连续输入3个(或3个以上)1时,检测器输出为1,否则输出为0。其典型输入输出序列如下: 输入x:0111011110 输出Z:0001000110