消解原理九步法求子句集

《消解原理九步法求子句集》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、//化为子句集的九步法演示//作者:RanchoChan//时间:2010.12.15//有bug#include#include#include#includeusingnamespacestd;//一些函数的定义voidinitString(string&ini);//初始化stringdel_inlclue(stringtemp);//消去蕴涵符号stringdec_neg_rand(stringtemp);//减少否定符号的辖域string

2、standard_var(stringtemp);//对变量标准化stringdel_exists(stringtemp);//消去存在量词stringconvert_to_front(stringtemp);//化为前束形stringconvert_to_and(stringtemp);//把母式化为合取范式stringdel_all(stringtemp);//消去全称量词stringdel_and(stringtemp);//消去连接符号合取%stringchange_name(stringtemp);//

3、更换变量名称//辅助函数定义boolisAlbum(chartemp);//是字母stringdel_null_bracket(stringtemp);//删除多余的括号stringdel_blank(stringtemp);//删除多余的空格voidcheckLegal(stringtemp);//检查合法性charnumAfectChar(inttemp);//数字显示为字符//主函数voidmain(){cout<<"------------------求子句集九步法演示------------------

4、-----"<

5、command8,command9,command10;//=============================================================================cout<<"请输入(Y/y)初始化谓词演算公式"<>command;if(command=='y'

6、

7、command=='Y')initString(orign);elseexit(0);//=============================================

8、================================cout<<"请输入(Y/y)消除空格"<>command0;if(command0=='y'

9、

10、command0=='Y'){//del_blank(orign);//undonecout<<"消除空格后是"<

11、cout<<"请输入(Y/y)消去蕴涵项"<>command1;if(command1=='y'

12、

13、command1=='Y'){orign=del_inlclue(orign);cout<<"消去蕴涵项后是"<

14、cin>>command2;if(command2=='y'

15、

16、command2=='Y'){do{temp=orign;orign=dec_neg_rand(orign);}while(temp!=orign);cout<<"减少否定符号的辖域后是"<