4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释

2.1.1 逻辑代数的三种基本运算 2.1.2 基本公式和若干导出公式

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

2.1基本逻辑门电路 2.2TTL逻辑门电路 2.3CMOS逻辑门电路 2.4集成运放运算电路

一、数制与编码 二、逻辑代数 三、基本逻辑门电路 四、汽车常用组合逻辑器件

9.1 概述 9.4 逻辑代数 9.2 基本逻辑门 9.3 集成逻辑门电路

本章知识要点： ☆ 基本概念 ； ☆ 基本定理和规则 ； ☆ 逻辑函数的表示形式 ； ☆ 逻辑函数的化简

▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化

2.1 基本逻辑关系及复合逻辑关系 2.2 TTL与非门 2.3 其它类型的TTL门电路

江西农业大学：《数字逻辑》课程教学资源（PPT讲稿）第三章 布尔代数与逻辑函数化简——3.1 基本公式与规则 3.1.3 基本公式的应用（逻辑函数不同形式的转换）