|
摘要 |
5-6 |
|
Abstract |
6-9 |
|
前言 |
9-11 |
|
第一章 部分K值逻辑函数集的完备性理论 |
11-14 |
|
1.1 基本定义 |
11-12 |
|
1.2 基本定理 |
12-13 |
|
1.3 Sheffer 函数 |
13-14 |
|
第二章 部分四值逻辑中正则可离关系的分类 |
14-19 |
|
2.1 m = 2 时部分四值逻辑中正则可离关系的分类 |
14-16 |
|
2.1.1 只含一个二元组的G_2~* 有6 个，分为1 类 |
14 |
|
2.1.2 含有两个二元组的G_2~* 有30 个，按相似性关系分为5 类 |
14 |
|
2.1.3 含有三个二元组的G_2~* 有76 个，按相似性关系分为11 类 |
14-15 |
|
2.1.4 含有四个二元组的G_2~* 有93个，按相似性关系分为13类 |
15 |
|
2.1.5 含有五个二元组的G_2~* 有54 个，按相似性关系分为9 类 |
15-16 |
|
2.1.6 含有五个二元组的G_2~* 有11 个，按相似性关系分为2 类 |
16 |
|
2.2 m = 3 时部分四值逻辑中正则可离关系的分类 |
16-17 |
|
2.2.1 当R = {1,2} 时，可以找到60 个正则可离关系，分为6 类 |
16-17 |
|
2.2.2 当R = {1,2,3} 时可以找到60 个正则可离关系，分为12 类 |
17 |
|
2.3 m = 4 时部分四值逻辑中正则可离关系的分类 |
17-19 |
|
2.3.1 当R1 = {1,2} 时，可以找到25 个正则可离关系，分为5 类 |
17-18 |
|
2.3.2 当R1 = {1,2,3} 时可以找到24个正则可离关系，分为6类 |
18 |
|
2.3.3 当R1={1,2}, R2 = {3,4} 时有30个正则可离关系,分为10类 |
18 |
|
2.3.4 当R1 = {1,2,3,4} 时可以找到30个正则可离关系，分为30类 |
18-19 |
|
第三章 部分四值逻辑中正则可离函数集的剔除 |
19-26 |
|
3.1 m = 2 时部分四值逻辑中正则可离函数集的剔除 |
19-21 |
|
3.1.1 分析第一类正则可离函数集的剔除 |
19 |
|
3.1.2 分析第二类正则可离函数集的剔除 |
19-20 |
|
3.1.3 分析第三类正则可离函数集的剔除 |
20 |
|
3.1.4 分析第四类正则可离函数集的剔除 |
20 |
|
3.1.5 分析第五类正则可离函数集的剔除 |
20-21 |
|
3.1.6 分析第六类正则可离函数集的剔除 |
21 |
|
3.2 m = 3 时部分四值逻辑中正则可离函数集的剔除 |
21-23 |
|
3.2.1 当R = {1,2} 时，正则可离函数集的剔除 |
22-23 |
|
3.2.2 当R = {1,2,3} 时，正则可离函数集的剔除 |
23 |
|
3.3 m = 4 时部分四值逻辑中正则可离函数集的剔除 |
23-26 |
|
3.3.1 当R1 = {1,2} 时，正则可离函数集的剔除 |
23-24 |
|
3.3.2 当R1 = {1,2,3} 时，正则可离函数集的剔除 |
24 |
|
3.3.3 当R1 = {1,2,3,4} 时，正则可离函数集的剔除 |
24-26 |
|
第四章 P_4~*中保二元正则可离关系函数集最小覆盖的判定 |
26-53 |
|
4.1 部分四值逻辑中不可剔除的准完备集 |
26-31 |
|
4.1.1 保E 函数集 |
26 |
|
4.1.2 完满对称函数集中未被剔除的准完备集 |
26-27 |
|
4.1.3 单纯可离函数集中未被剔除的准完备集 |
27-29 |
|
4.1.4 正则可离函数集中未被剔除的准完备集 |
29-31 |
|
4.1.5 L 型函数集 |
31 |
|
4.1.6 拟线性函数集 |
31 |
|
4.1.7 完全k 值逻辑函数集与空函数 |
31 |
|
4.2 保二元正则可离关系函数集在最小覆盖中的判定 |
31-53 |
|
4.2.1 证明第一类保二元正则可离函数集 |
32-35 |
|
4.2.2 证明第二类保二元正则可离函数集 |
35-37 |
|
4.2.3 证明第三类保二元正则可离函数集 |
37-40 |
|
4.2.4 证明第四类保二元正则可离函数集 |
40-42 |
|
4.2.5 证明第五类保二元正则可离函数集 |
42-44 |
|
4.2.6 证明第六类保二元正则可离函数集 |
44-46 |
|
4.2.7 证明第七类保二元正则可离函数集 |
46-48 |
|
4.2.8 证明第八类保二元正则可离函数集 |
48-50 |
|
4.2.9 证明第九类保二元正则可离函数集 |
50-53 |
|
总结与展望 |
53-54 |
|
参考文献 |
54-58 |
|
致谢 |
58-59 |
|
附录A(攻读硕士期间参加的课题与公开发表的论文) |
59 |
