在数字电路中，我们要研究的是电路的输 入输出之间的逻辑关系，所以数字电路又称逻 辑电路，相应的研究工具是逻辑代数（布尔代 数）。 在逻辑代数中，逻辑函数的变量只能取两 个值（二值变量），即0和1，中间值没有意义， 这里的0和1只表示两个对立的逻辑状态，如电 位的低高（0表示低电位，1表示高电位）、开 关的开合等

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的编程