 掌握组合电路的测试生成  代数法 异或法 布尔差分法  算法D算法 PODEM算法 FAN算法 其他  时序电路的测试生成  可测性方法（不具体要求）

第6章代数系统 6.1代数系统的概念 6.2代数系统的同态和同构 6.3代数系统的积代数 6.4半群与独异点 6.5群与交换群 6.6环与域 6.7格与布尔代数

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

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

代数结构的主要研究对象是各种各样的代数系 统，即具有一些元运算的集合,本章介绍的群就 是具有一个二元运算的代数系统. 本章以群为例讨论代数结构，它的思想和方 法已经渗透到现代科学的许多分支、它的结果 已应用到计算机的不少方面，因此计算机科学 工作者应初步掌握其基本的理论和方法. 读者通过对群的学习应初步掌握对代数系统研 究的一般方法，从简单到复杂、从具体到一般

主要内容 7.1概述 7.2关系代数的基本运算 7.3关系代数的附加运算 7.4扩充的关系代数运算 7.5关系演算 7.6关系代数的修改运算 7.7关系代数表达式的优化策略 7.8本章小结

1.逻辑代数的基本概念与基本运算 2.逻辑函数及其表示方法 3.逻辑代数的基本运算的定律、定理和重要规则 4.逻辑代数的简化

关系代数概述 一、关系是一个属性数目相同的元组的集合。 二、关系代数

第二章逻辑代数基础 2.1概述 2.2逻辑代数中的三种基本运算 2.3逻辑代数的基本公式和常用公式 2.4逻辑代数的基本定理 2.5逻辑函数及其表示方法 2.6逻辑函数的化简方法 2.7具有无关项的逻辑函数及其化简

第一节 概述 第二节 逻辑代数中的常用运算 第三节 逻辑代数的基本公式和基本运算定律