4.1关系运算符和关系表达式 4.2逻辑运算符和逻辑表达式 4.3if语句 4.4 switch语句 4.5循环控制

1.什么是命题? 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句

16.1最简单的门电路 16.2集成TTL门电路 16.3CMs逻辑门电路

2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论

19.1时序逻辑电路的概述 19.2寄存器 19.3计数器

一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

命题与联结词 命题及其分类 联结词与复合命题 命题公式及其赋值

8. 1 概述 8.2 现场可编程逻辑阵列（FPLA） 8. 3 可编程阵列逻辑（PAL） 8. 4 通用阵列逻辑（GAL） 8. 5 可擦除的可编成逻辑器件（EPLD） 8. 6 复杂的可编程逻辑器件（CPLD） 8. 7 现场可编程门阵列（FPGA） 8. 8 在系统可编程通用数字开关（ispGDS） 8.9 PLD的编程

广东海洋大学：《数字电子技术》课程教学资源（PPT课件）5.4 时钟边沿触发的触发器 5.5 触发器逻辑功能的分类及逻辑功能的描述