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

1.1 About Digital Design(关于 “ 数字设计 ”) 1.2 Analog versus Digital(模拟与数字) 1.3 Digital Devices(数字器件) 1.4 Electronic Aspects of Digital Design(数字设计的电子技术) 1.5 Software Aspects of Digital Design(数字设计的软件技术) 1.6 Integrated Circuits（集成电路，IC） 1.7 Programmable Logic Devices(可编程逻辑器件)  Programmable Logic Array(PLA, 可编程逻辑阵列)  Programmable Array Logic (PAL, 可编程阵列逻辑)  Programmable Logic Device(PLD, 可编程逻辑器件)  Complex PLD (CPLD, 复杂可编程逻辑器件)  Field-Programmable Gate Array(FPGA, 现场可编程门阵列） Digital Logic Design and Application (数字逻辑设计及应用) 1.8 Application-Specific ICs[专用集成电路（ASIC）] 1.9 Printed-Circuit Boards(PCB, 印制电路板) 1.10 Digital Design Levels（数字设计层次）  Device Physics Level (器件物理层）  IC Manufacturing Process Level（IC 制造过程级）  Transistor Level (晶体管级）  Gates Structure Level (门电路结构级）  Logic Design Level （逻辑设计级）  Overall System Design（整体系统设计） Digital Logic Design and Application (数字逻辑设计及应用)

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数

5.1 MSI构成的时序逻辑电路 5.1.1 寄存器和移位寄存器 5.1.2 计数器 5.1.3 移位寄存器型计数器 5.2 时序逻辑电路的分析方法 5.2.1 同步时序逻辑电路的分析方法 5.2.2 异步时序逻辑电路的分析方法 5.3 同步时序逻辑电路设计方法 5.3.1 用SSI设计同步时序逻辑电路 5.3.2 用MSI设计同步时序逻辑电路

本章主要介绍了逻辑代数的基本公式和定理、逻辑函数的表示 方法、逻辑函数的化简方法以及具有约束的逻辑函数的化简。 1.1 数字电路概述 1.2 数制与编码 1.3 逻辑代数基础 1.4 逻辑函数的表示方法及其相互转换 1.5 逻辑代数的公式、定律和运算规则 1.6 逻辑函数的公式化简 1.7 逻辑函数的卡诺图化简

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

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

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

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

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