| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 第一章 绪论 | 第6-9页 |
| ·引言 | 第6-7页 |
| ·研究动机 | 第7页 |
| ·研究的问题 | 第7-9页 |
| 第二章 MU公式和MAX~+公式 | 第9-16页 |
| ·命题逻辑和CNF公式 | 第9-10页 |
| ·改名 | 第10-11页 |
| ·MU公式 | 第11-13页 |
| ·MAX~+公式 | 第13-16页 |
| 第三章 MAX~+(2)公式的一个结构特点 | 第16-36页 |
| ·一些引理及其证明 | 第16-24页 |
| ·MAX~+(2)公式的一个结构特点 | 第24-36页 |
| 第四章 MAX~+(2)公式改名的复杂性 | 第36-42页 |
| ·MAX~+(2)公式改名的算法 | 第36-38页 |
| ·算法复杂度分析 | 第38-41页 |
| ·结论 | 第41-42页 |
| 致谢 | 第42-43页 |
| 参考文献 | 第43-45页 |
| 附录 | 第45-46页 |