2.1.1 用真值表证明下列恒等式 (3) A B AB AB  = + （A⊕B）=AB+AB

2.1 逻辑代数基本公式 2.2 逻辑函数的化简 2.3 逻辑电路图、真值表与逻辑函数的关系

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

2.1 逻辑代数 2.1.1 基本逻辑 2.1.2 基本逻辑运算 2.1.3 真值表与逻辑函数 2.1.4 逻辑代数的基本定律 2.1.5 三个规则 2.1.6 常用公式 2.1.7 逻辑函数的标准形式 2.2 逻辑函数的简化 2.2.1 简化的意义和目标 2.2.2 公式化简法（代数法） 2.2.3 图解法（卡诺图法） 2.2.4 逻辑函数的系统简化法

第 1 章 概述.1 1.1 数字逻辑.1 1.2 Verilog. 2 第 2 章 基本逻辑门.3 2.1 真值表和逻辑表达式.3 2.1.1 三种基本逻辑门.3 2.1.2 四种常用逻辑门.4 2.2 基于乘积和的设计.6 2.3 基于和项积的设计.8 第 3 章 现场可编程门阵列(FPGA). 21 第 4 章 Basys2 原理图. 25 第 5 章 组合逻辑.32 第 6 章 运算电路.83 第 7 章 时序电路. 110 附录 A 代码仿真及设计实现. 161

2.1 逻辑代数 2.1.1 基本逻辑 2.1.2 基本逻辑运算 2.1.3 真值表与逻辑函数 2.1.4 逻辑代数的基本定律 2.1.5 三个规则 2.1.6 常用公式 2.1.7 逻辑函数的标准形式 2.2 逻辑函数的简化 2.2.1 简化的意义和目标 2.2.2 公式化简法（代数法） 2.2.3 图解法（卡诺图法） 2.2.4 逻辑函数的系统简化法

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

第一节 命题概述 第二节 命题的分类和命题形式 第三节 命题形式的逻辑性质和真值表 第四节 真值函项 第五节 多重复合命题语句的符号化

1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论

1.由给定的逻辑图写出逻辑关系表达式。 （注意写的方向） 分析步骤（求解过程） 2.用逻辑代数或卡诺图对逻辑表达式进行化简。 （注意表达式的简化形式） 3.列出输入输出真值表并得出结论