| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 引言 | 第7-12页 |
| 第1章 多值逻辑函数结构理论综述 | 第12-19页 |
| ·完全多值逻辑函数结构理论 | 第12-14页 |
| ·部分k 值逻辑函数集中的准完备集 | 第14-17页 |
| ·部分K 值逻辑中准完备集之间的相似关系 | 第17-19页 |
| 第2章 部分二值逻辑中Sheffer函数的构造及判定算法 | 第19-27页 |
| ·完全二值逻辑函数集中准完备集的最小覆盖 | 第19页 |
| ·部分二值逻辑函数集中准完备集的最小覆盖 | 第19-22页 |
| ·部分二值逻辑中Sheffer 函数的构造及判定原理 | 第22-24页 |
| ·部分二值逻辑中Sheffer 函数的构造算法 | 第24-25页 |
| ·N元函数的表示问题 | 第24页 |
| ·求由 0,1 组成的所有 N 元序列的算法 | 第24页 |
| ·部分二值逻辑中Sheffer 函数的构造算法的描述 | 第24-25页 |
| ·部分二值逻辑中Sheffer 函数的判定算法 | 第25-27页 |
| 第3章 部分三值逻辑中Sheffer函数的判定算法 | 第27-50页 |
| ·部分三值逻辑中的准完备集 | 第27-28页 |
| ·部分三值逻辑中准完备集的最小覆盖 | 第28-46页 |
| ·部分三值逻辑中Sheffer 函数的判定算法 | 第46-50页 |
| ·完全三值逻辑中Sheffer 函数的判断 | 第47-48页 |
| ·非完全三值逻辑中Sheffer 函数的判断 | 第48-50页 |
| 结论 | 第50-52页 |
| 参考文献 | 第52-56页 |
| 致谢 | 第56-57页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第57页 |
