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

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

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

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

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

第一章 命题逻辑

一、二进制、二进制与十进制的相互转换 二、逻辑代数的公式与定理、逻辑函数化简 三、基本逻辑门电路的逻辑功能

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

◼ 时序逻辑电路的分析方法、设计方法 ◼ 时序逻辑电路的工作原理 ◼ 常用时序逻辑电路介绍

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