cout<<"请输入(Y/y)消去存在量词"<<endl;
cin>>command4;
if(command4 == 'y' || command4 == 'Y')
{
orign = del_exists(orign);
cout<<"消去存在量词后是(w = g(x)是一个Skolem函数)"<<endl
command6,command7,command8,command9,command10;
//=============================================================================
cout<<"请输入(Y/y)初始化谓词演算公式"<<endl;
cout<<"请输入(Y/y)消去连接符号"<<endl;
cin>>command8;
if(command8 == 'y' || command8 == 'Y')
{
orign = del_and(orign);
cout<<"消去连接符号后是"<<endl
<<orign<<endl;
}
else
exit(0);
//=============================================================================
cout<<"请输入(Y/y)消去蕴涵项"<<endl;
cin>>command1;
if(command1 == 'y' || command1 == 'Y')
cout<<"减少否定符号的辖域后是"<<endl
<<orign<<endl;
}
else
exit(0);
//=============================================================================
cout<<"请输入(Y/y)对变量进行标准化"<<endl;
{
orign =del_inlclue(orign);
cout<<"消去蕴涵项后是"<<endl
<<orign<<endl;
}
else
exit(0);
//=============================================================================
cout<<"请输入(Y/y)减少否定符号的辖域"<<endl;
cin>>command2;
if(command2 == 'y' || command2 == 'Y')
{
do
{
temp = orign;
orign = dec_neg_rand(orign);
}while(temp != orign);
break;
default:
t = '89';
break;
}
return t;
}
四、实验步骤：
1对默认谓词公式进行转换。进入程序，点击“语法检查”，再依次点击消解过程的九个步骤按钮，得到转换结果。
2自定义转换目标。点击“清除”删除默认公式，利用界面键盘输入新的转换目标，用“大写字母”、“小写字母”按键进行输入中的字母变换。
cin>>command;
if(command == 'y' || command == 'Y')
initString(orign);
else
exit(0);
//=============================================================================
{
orign = change_name(orign);
cout<<"变量分离标准化后是(x1,x2,x3代替变量x)"<<endl
<<orign<<endl;
}
else
exit(0);
//============================================================================
cin>>command3;
if(command3 == 'y' || command3 == 'Y')
{
orign = standard_var(orign);
cout<<"对变量进行标准化后是"<<endl
<<orign<<endl;
}
else
exit(0);
//=============================================================================
cout<<"请输入(Y/y)把母式化为合取方式"<<endl;
cin>>command6;
if(command6 == 'y' || command6 == 'Y')
{
orign = convert_to_and(orign);
cout<<"把母式化为合取方式后是"<<endl
<<orign<<endl;
3语法检查。点击“语法检查”检查输入谓词公式的语法错误。如无错误，则依次点击步骤按钮进行转换。
4重复运行2、3步，熟悉消解原理和转换过程。
五、实验报告要求：
1了解每一步消解的规则和原则。
2给出一个谓词公式转换为子句的详细过程和结果。
3分析消解原理的特点和原理。
6、心得体会：
在本次课程设计过程中，我学到了好多东西。在此特别感谢老师教诲。老师不仅上课生动、幽默，平时上机时又悉心的指导。同时感谢学校给我们提供了非常优越的设计环境，对于我顺利完成这次课程设计起到了关键性的作用。通过对本次实验的操作，我较全面的掌握了化为子句集的九步法，并在实验操作中进一步的提高我的能力，但是自己还有一些不足之处有待提高。
三、实验内容代码：
void main()
{
cout<<"------------------求子句集九步法演示-----------------------"<<endl;
system("color 0A");
//orign = "Q(x,y)%~(P(y)";
//orign = "(@x)(P(y)>P)";
cout<<"请输入(Y/y)消除空格"<<endl;
cin>>command0;
if(command0 == 'y' || command0 == 'Y')
{
//del_blank(orign);//undone
cout<<"消除空格后是"<<endl
<<orign<<endl;
}
else
exit(0);
{
orign= del_all(orign);
cout<<"消去全称量词后是"<<endl
<<orign<<endl;
}
else
exit(0);
//=============================================================================
cout<<"-------------------------完毕-----------------------------------"<<endl;
cout<<"(请输入Y/y)结束"<<endl;
do
{
பைடு நூலகம்}while('y' == getchar() || 'Y'==getchar());
exit(0);
{
orign = convert_to_front(orign);
cout<<"化为前束形后是"<<endl
<<orign<<endl;
}
else
exit(0);
//=============================================================================
return false;
}
char numAfectChar(int temp)//数字显示为字符