中国地质大学（武汉）：《数字逻辑实验》课程教学资源（实验内容）实验四 集成电路测试及研究（设计性）

中国地质大学（武汉）：《数字逻辑实验》课程教学资源（实验内容）实验三 触发器（验证性）

要点4.1: 商科作业的逻辑结构 要点4.2: 商科作业的文字技巧 要点4.3: 商科作业之实例分析

1. 工作描述 可用以下四组方程来描述:激励方程､状态方程､输出方程､时钟方程

中国地质大学（武汉）：《EDA技术基础与实践（Electronic Design Automation）》课程教学资源（实验内容）实验二 组合逻辑设计

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

一、逻辑门电路 二、数字集成电路的分类 三、本章内容

中国地质大学（武汉）：《电工与电子技术》课程教学资源（课件讲稿）门电路逻辑功能测试

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-4 谓词演算的永真公式

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-3 谓词公式的翻译