}
t = '3'; break; case 4: t = '4'; break; default: t = '89'; break; }
return t;
四、实验步骤：
6
1 对默认谓词公式进行转换。进入程序，点击“语法检查”，再依次点击消解过程的九个步骤按钮，得到转换结果。
2 自定义转换目标。点击“清除”删除默认公式，利用界面键盘输入新的转换目标，用“大写字母”、“小写字母”按键进行输入中的字母变换。 3 语法检查。点击“语法检查”检查输入谓词公式的语法错误。如无错误，则依次点击步骤按钮进行转换。
4 重复运行2、3步，熟悉消解原理和转换过程。 五、实验报告要求：
1 了解每一步消解的规则和原则。
2 给出一个谓词公式转换为子句的详细过程和结果。 3 分析消解原理的特点和原理。 六、心得体会：
在本次课程设计过程中，我学到了好多东西。在此特别感谢老师教诲。老师不仅上课生动、幽默，平时上机时又悉心的指导。同时感谢学校给我们提供了非常优越的设计环境，对于我顺利完成这次课程设计起到了关键性的作用。通过对本次实验的操作，我较全面的掌握了化为子句集的九步法，并在实验操作中进一步的提高我的能力，但是自己还有一些不足之处有待提高。
7