系统设计：芯片的功能、尺寸、外部接口、 性能、速度、成本等； 功能设计：系统功能块分割、功能框图 信号流程图、状态转换图等 逻辑设计：各功能块的逻辑表达、逻辑电路图等 功能仿真：不考虑电路连线延时

关系表达式 逻辑表达式 If 语句 Switch语句

上海交通大学：《离散数学》课程教学资源（PPT课件）命题逻辑的推理

上海交通大学：《离散数学》课程教学资源（讲义）第一章 命题逻辑的基本概念

上海交通大学：《离散数学》课程教学资源（讲义）第二章 命题逻辑的等值与推理

上海交通大学：《离散数学》课程教学资源（讲义）第五章 谓词逻辑的等值和推理演算

上海交通大学：《离散数学》课程教学资源（讲义）第四章 谓词逻辑的基本概念

清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）

上海交通大学：《离散数学》课程教学资源（讲义）第一章 命题逻辑的基本概念

上海交通大学：《离散数学》课程教学资源（讲义）第二章 题逻辑的等值与推理演算