第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介

分析目的: 找出给定逻辑电路输出和输入之间的逻辑关系,了解其逻 辑功能。 分析步骤: ①电路→逻辑函数式 ②化简 ③逻辑函数式→真值表 ④逻辑函数式、真值表概括出逻辑功能

本章从什么是触发器出发，介绍了常见触发器逻辑功能及其动作特点；介绍了时序逻辑电路的构成与分析方法；举例说明了时序逻辑电路设计的一般方法并重点介绍了寄存器、计数器电路的组成与原理，常见寄存器、计数器集成芯片；最后介绍了脉冲单元电路。读者应深入理解特征方程、状态图、时序图等时序逻辑电路分析与设计的基本概念，理解常见触发器逻辑功能、动作特点，掌握常见寄存器、计数器集成芯片的逻辑功能及其应用

2.1 概述 2.2 逻辑代数中的三种基本运算 2.3 逻辑代数的基本公式和常用公式 2.5 逻辑函数及其表示方法 2.4 逻辑代数的基本定理 2.6 逻辑函数的化简方法 2.7 具有无关项的逻辑函数及其化简

本章首先介绍分析和设计数字电路时常用的数学工具--逻辑代数和卡 诺图，包括逻辑代数的基本公式和基本定律，逻辑函数的代数化简法和卡诺图化简法。 然后介绍组合逻辑电路的分析方法与设计方法。另外，按其结构和工作原理不同，数字 电路可分为两大类，组合逻辑电路和时序逻辑电路

梳理探究《逻辑和语文学习》导学案_逻辑和语文学习张新锋

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（打印版）数字逻辑（Ⅱ）实验指导书（学生用）

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（打印版）数字逻辑（Ⅰ）实验指导书（学生用）

西安邮电大学：《数字电路与逻辑设计》课程教学资源（试卷习题）2010数字电路与逻辑设计（48学时）B卷（答案）

西安邮电大学：《数字电路与逻辑设计》课程教学资源（试卷习题）2010数字电路与逻辑设计（48学时）B卷（试题）