| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 第一章 绪论 | 第8-10页 |
| ·引言 | 第8-9页 |
| ·本文研究内容及章节安排 | 第9-10页 |
| 第二章 或—符合代数系统中的表格表示 | 第10-25页 |
| ·或—符合代数系统 | 第10-12页 |
| ·逻辑函数在或—符合代数系统中的表格表示——和项表的引入 | 第12-13页 |
| ·和项表的特点和性质 | 第13-17页 |
| ·和项表的特点 | 第13页 |
| ·和项表的性质 | 第13-17页 |
| ·和项表与真值表的转换 | 第17-19页 |
| ·和项表规模的压缩 | 第19-24页 |
| ·降维和项表 | 第19-22页 |
| ·互斥变量和项表 | 第22-24页 |
| ·小结 | 第24-25页 |
| 第三章 基于或—符合展开的逻辑函数的表格法化简 | 第25-33页 |
| ·逻辑函数在固定极性下的或—符合展开(GFOC) | 第25-27页 |
| ·GFOC展开化简的表格方法 | 第27-30页 |
| ·互斥变量逻辑函数的表格法化简 | 第30-32页 |
| ·小结 | 第32-33页 |
| 第四章 或—符合代数系统中表格方法的应用 | 第33-52页 |
| ·降维和项表在寻找三变量通用逻辑门中的应用 | 第33-38页 |
| ·检测函数对称性的表格方法 | 第38-40页 |
| ·检测其他特殊函数的表格方法 | 第40-48页 |
| ·计算布尔偏导数的表格方法 | 第48-51页 |
| ·小结 | 第51-52页 |
| 第五章 结论与展望 | 第52-54页 |
| 参考文献 | 第54-56页 |