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

• 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设计同步时序逻辑电路

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

组合逻辑门电路在教材中所讲的内容比较简单，其解题的过程不太明确，但在实际的分析中题型多种多样，其难度也远远超过了教材的难度。本章逻辑函数几种表达形式之间的相互转化是逻辑电路分析的重点；逻辑电路功能的表述逻辑电路分析的难点。 ❖ 4.1 概述 ❖ 4.2 组合逻辑电路的分析与设计 ❖ 4.3 常用组合逻辑电路 ❖ 4.4 用PLD实现组合电路 ❖ 4.5 组合逻辑电路的竞争与冒险

1.1 概述 1.2 逻辑代数中的三种基本运算 1.3 逻辑代数的基本公式和常用公式 1.4 逻辑代数的基本定理 1.5 逻辑函数及其表示方法 1.6 逻辑函数的公式化简法 1.7 逻辑函数的卡诺图化简法 1.8 具有无关项的逻辑函数及其化简

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

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语言描述