问题1：什么是命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？

2.5逻辑函数的表达式

5.1 关系运算符和关系表达式 5.2 逻辑运算符和逻辑表达式 5.3 if语句 5.4 switch语句 5.5 程序举例

专题一：法律是什么？ 专题二：法律体系的逻辑构造 专题三：法律关系的逻辑构造 专题四：法律程序 专题五：法制现代化 专题之五：法律运行

2.1 概述 2.2 三种基本的逻辑运算 2.3 逻辑代数基本与常用公式 2.4 逻辑代数的基本定理 2.5 逻辑函数及其表示方法 2.6 逻辑函数的化简方法

1. 关系运算符和关系表达式 2. 逻辑运算符和逻辑表达式 3. if语句 4. switch语句 5. 程序举例

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

一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法

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

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