| 引言 | 第1-22页 |
| 第一章 多值逻辑函数结构理论综述 | 第22-34页 |
| 第一节 多值逻辑函数的基本概念 | 第22-24页 |
| 第二节 多值逻辑函数的完备性定理 | 第24-28页 |
| 第三节 多值逻辑中的Sheffer函数 | 第28-32页 |
| 第四节 多值逻辑的起源、发展及研究新动向 | 第32-34页 |
| 第二章 二元单纯可离函数集中最小覆盖成员的判定 | 第34-64页 |
| 第一节 关系图连通的S_(Ⅰ，2)中最小覆盖成员判定 | 第35-46页 |
| 第二节 关系图非连通且至少有两个非孤立点连通子图的S_(Ⅰ，2)中最小覆盖成员判定 | 第46-57页 |
| 第三节 关系图非连通且只有一个非孤立点连通子图的S_(Ⅰ，2)中最小覆盖成员判定 | 第57-64页 |
| 第三章 三元完满对称函数的判定结果 | 第64-69页 |
| 总结与展望 | 第69-71页 |
| 参考文献 | 第71-75页 |
| 附录 | 第75-87页 |
| 攻读硕士学位期间公开发表的论文 | 第87-88页 |
| 致谢 | 第88页 |