| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 前言 | 第9-11页 |
| 第一章 部分K值逻辑函数集的完备性理论 | 第11-14页 |
| ·基本定义 | 第11-12页 |
| ·基本定理 | 第12-13页 |
| ·Sheffer 函数 | 第13-14页 |
| 第二章 部分四值逻辑中正则可离关系的分类 | 第14-19页 |
| ·m = 2 时部分四值逻辑中正则可离关系的分类 | 第14-16页 |
| ·只含一个二元组的G_2~* 有6 个，分为1 类 | 第14页 |
| ·含有两个二元组的G_2~* 有30 个，按相似性关系分为5 类 | 第14页 |
| ·含有三个二元组的G_2~* 有76 个，按相似性关系分为11 类 | 第14-15页 |
| ·含有四个二元组的G_2~* 有93个，按相似性关系分为13类 | 第15页 |
| ·含有五个二元组的G_2~* 有54 个，按相似性关系分为9 类 | 第15-16页 |
| ·含有五个二元组的G_2~* 有11 个，按相似性关系分为2 类 | 第16页 |
| ·m = 3 时部分四值逻辑中正则可离关系的分类 | 第16-17页 |
| ·当R = {1,2} 时，可以找到60 个正则可离关系，分为6 类 | 第16-17页 |
| ·当R = {1,2,3} 时可以找到60 个正则可离关系，分为12 类 | 第17页 |
| ·m = 4 时部分四值逻辑中正则可离关系的分类 | 第17-19页 |
| ·当R1 = {1,2} 时，可以找到25 个正则可离关系，分为5 类 | 第17-18页 |
| ·当R1 = {1,2,3} 时可以找到24个正则可离关系，分为6类 | 第18页 |
| ·当R1={1,2}, R2 = {3,4} 时有30个正则可离关系,分为10类 | 第18页 |
| ·当R1 = {1,2,3,4} 时可以找到30个正则可离关系，分为30类 | 第18-19页 |
| 第三章 部分四值逻辑中正则可离函数集的剔除 | 第19-26页 |
| ·m = 2 时部分四值逻辑中正则可离函数集的剔除 | 第19-21页 |
| ·分析第一类正则可离函数集的剔除 | 第19页 |
| ·分析第二类正则可离函数集的剔除 | 第19-20页 |
| ·分析第三类正则可离函数集的剔除 | 第20页 |
| ·分析第四类正则可离函数集的剔除 | 第20页 |
| ·分析第五类正则可离函数集的剔除 | 第20-21页 |
| ·分析第六类正则可离函数集的剔除 | 第21页 |
| ·m = 3 时部分四值逻辑中正则可离函数集的剔除 | 第21-23页 |
| ·当R = {1,2} 时，正则可离函数集的剔除 | 第22-23页 |
| ·当R = {1,2,3} 时，正则可离函数集的剔除 | 第23页 |
| ·m = 4 时部分四值逻辑中正则可离函数集的剔除 | 第23-26页 |
| ·当R1 = {1,2} 时，正则可离函数集的剔除 | 第23-24页 |
| ·当R1 = {1,2,3} 时，正则可离函数集的剔除 | 第24页 |
| ·当R1 = {1,2,3,4} 时，正则可离函数集的剔除 | 第24-26页 |
| 第四章 P_4~*中保二元正则可离关系函数集最小覆盖的判定 | 第26-53页 |
| ·部分四值逻辑中不可剔除的准完备集 | 第26-31页 |
| ·保E 函数集 | 第26页 |
| ·完满对称函数集中未被剔除的准完备集 | 第26-27页 |
| ·单纯可离函数集中未被剔除的准完备集 | 第27-29页 |
| ·正则可离函数集中未被剔除的准完备集 | 第29-31页 |
| ·L 型函数集 | 第31页 |
| ·拟线性函数集 | 第31页 |
| ·完全k 值逻辑函数集与空函数 | 第31页 |
| ·保二元正则可离关系函数集在最小覆盖中的判定 | 第31-53页 |
| ·证明第一类保二元正则可离函数集 | 第32-35页 |
| ·证明第二类保二元正则可离函数集 | 第35-37页 |
| ·证明第三类保二元正则可离函数集 | 第37-40页 |
| ·证明第四类保二元正则可离函数集 | 第40-42页 |
| ·证明第五类保二元正则可离函数集 | 第42-44页 |
| ·证明第六类保二元正则可离函数集 | 第44-46页 |
| ·证明第七类保二元正则可离函数集 | 第46-48页 |
| ·证明第八类保二元正则可离函数集 | 第48-50页 |
| ·证明第九类保二元正则可离函数集 | 第50-53页 |
| 总结与展望 | 第53-54页 |
| 参考文献 | 第54-58页 |
| 致谢 | 第58-59页 |
| 附录A(攻读硕士期间参加的课题与公开发表的论文) | 第59页 |
