第一章与.异或代数系统
第一节引言
第二节异或运算的性质
第三节函数的Reed-Muller展开
第四节GRM展开及最小化
第五节异或运算的电路实现
第六节异或运算在简化组合电路中的应用
参考文献
思考题和习题
第二章布尔代数中的特殊运算
第一节基本运算
第二节布尔减与布尔除运算
第三节比较运算
第四节布尔差分与布尔微分
参考文献
思考题和习题
第三章特殊布尔函数及函数分解
第一节对称函数
第二节简单对称函数
第三节基本Reed-Muller对称函数
第四节单调函数
第五节函数分解
参考文献
思考题和习题
第四章谱技术
第一节对称二值第二节函数的规范展开.各种正交变换及谱系数
第三节谱系数的图形表示及谱系数的计算
第四节谱技术的应用
参考文献
思考题和习题
第五章通用逻辑门与通用细胞阵列
第一节通用逻辑运算(函数)的基本概念
第二节最少输入端数与变量数的关系及最佳,2数
第三节通用逻辑门的实现之一一基于函数的规范展开
第四节通用逻辑门的实现之二一基于各种特殊方法
第五节通用逻辑门的选择
第六节最佳通用逻辑门的应用
第七节使用最佳ULG.2的逻辑设计
第八节通用逻辑门阵列与通用细胞阵列
参考文献
思考题和习题
第六章数字系统故障检测
第一节引言
第二节组合电路的故障检测
第三节D算法
第四节布尔差分法
第五节故障的合并.压缩与测试矢量集的最小化
参考文献
思考题和习题
第七章多值逻辑
第一节引言
第二节三值Post代数
第三节三值模代数
第四节三值通用算子代数
参考文献
思考题和习题
附录1阈值函数的bi系数表
附录2基于三变量通用逻辑门f4的任意三变量函数的实现
作者主要学术论著目录