2.1 基本逻辑门电路 2.2 TTL集成逻辑门电路 2.3 其他类型的TTL门电路

1.1 概述 1.2 逻辑代数中的三种基本运算 1.3 逻辑代数的基本公式和常用公式

本章学习要求 掌握逻辑代数的基本概念，学会用逻辑函数描述逻辑问题的基本方法 掌握逻辑代数的公理、基本定理和重要规则 学会用代数法化简逻辑函数 熟练掌握用卡诺图化简逻辑函数。 本章学习重点 逻辑代数的基本概念 逻辑代数的基本定理和规则 逻辑函数表达式的形式与变换 逻辑函数的简化

15.1数制与码制 15.2逻辑代数的基本运算及其规则 15.3逻辑函数及其表示方法 15.4逻辑函数的化简

本章要求 >掌握逻辑代数的基本公式和基本定理 >掌握逻辑函数的化简方法

5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

6.1 概述 6.2 时序逻辑电路的分析 6.3 时序逻辑电路的设计 6.4 常用时序逻辑电路

⒈ 基本逻辑运算 ⒉ 逻辑代数的基本公式和规则 ⒊ 逻辑函数的化简

问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？

第一章 命题逻辑