一、实验目的

	熟悉五个真值表，掌握真值表技术。

二、实验内容

	定义1 设命题变元P1、P2、P3、…、Pn是出现在公式G中的所有命题变元，指定P1、P2、P3、			  …、Pn的一组真值，则这组真值称为G的一个解释或指派，常记为Ｉ。定义2 真值表：公式G在其所有可能的解释下所取真值的表。 本实验要求从键盘输入一个命题公式列出其真值表。

三、实验源程序

#include<iostream>
using namespace std;
void show(string a)//用于规定那个运算法则，输出结果
{if(a[0]=='n')cout<<((a[1]=='T')?"F\n":"T\n");else if(a.size()==1) cout<<a;//只输入一个命题变元时直接输出else{if(a[0]=='T'){if(a[1]=='h'&&a[2]=='F')cout<<"F"<<endl;else if(a[1]=='h'&&a[2]=='T')cout<<"T"<<endl;else if(a[1]=='x'&&a[2]=='T')cout<<"T"<<endl;else if(a[1]=='x'&&a[2]=='F')cout<<"T"<<endl;else if(a[1]=='d'&&a[2]=='F')cout<<"F"<<endl;else if(a[1]=='d'&&a[2]=='T')cout<<"T"<<endl;else if(a[1]=='b'&&a[2]=='T')cout<<"T"<<endl;else if(a[1]=='b'&&a[2]=='F')cout<<"F"<<endl;   }else if(a[0]=='F'){if(a[1]=='h'&&a[2]=='F')cout<<"F"<<endl;else if(a[1]=='h'&&a[2]=='T')cout<<"F"<<endl;else if(a[1]=='x'&&a[2]=='T')cout<<"T"<<endl;else if(a[1]=='x'&&a[2]=='F')cout<<"F"<<endl;else if(a[1]=='d'&&a[2]=='F')cout<<"T"<<endl;else if(a[1]=='d'&&a[2]=='T')cout<<"T"<<endl;else if(a[1]=='b'&&a[2]=='T')cout<<"F"<<endl;else if(a[1]=='b'&&a[2]=='F')cout<<"T"<<endl;}}
}  
void fuzhi(string &a,char p,char q)//用于赋值，把p,q换为T,F 
{for(int i=0;i<a.size();i++){if(a[i]=='p')a[i]=p;if(a[i]=='q')a[i]=q;}	} string huajian(string a)//用于化简去括号
{int lk,rk,flag=0;char t;//rk右括号， lk左括号，flag标注有没有括号 ,t表示真值 for(int i=0;i<a.size();i++)//确定右括号位置if(a[i]==')'){rk=i;flag=1;break;}if(!flag)//没有括号，直接返回；return a;for(int i=rk;i>=0;i--)//确定左括号位置 {if(a[i]=='('){lk=i;break;}}if(a[lk+1]=='n'){t=(a[lk+2]=='F')?'T':'F';}else if(a[lk+2]=='a'){if(a[lk+1]=='T'&&a[lk+3]=='T')t='T';else t='F';}else if(a[lk+2]=='o'){if(a[lk+1]=='F'&&a[lk+3]=='F')t='F';else t='T';}else if(a[lk+2]=='i'){if(a[lk+1]=='T'&&a[lk+3]=='F')t='F';else t='T';}else if(a[lk+2]=='e'){if((a[lk+1]=='T'&&a[lk+3]=='T')||(a[lk+1]=='F'&&a[lk+3]=='F'))t='T';else t='F';}a[lk]=t;string aa="";for(int i=0;i<a.size();i++){  if((i>lk&&i<=rk)){continue;}aa+=a[i];}return huajian(aa);//返回aa，直到没有括号了
}int main()
{cout<<"h-合取 x-析取 d-单条件 b-双条件 n-非"<<endl;cout<<"仅支持二元运算，用p,q表示,非运算要括起来"<<endl;cout<<"输入样例:px(nq)"<<endl;string s;char a[2]={'T','F'}; cin>>s;cout<<"真值表:\n";cout<<"***************\n";cout<<"p    q"<<"   "<<s<<endl;string s1=s;cout<<a[1]<<"    "<<a[1]<<"    ";fuzhi(s1,a[1],a[1]);show(huajian(s1));string s2=s;cout<<a[1]<<"    "<<a[0]<<"    ";fuzhi(s2,a[1],a[0]);show(huajian(s2));string s3=s;cout<<a[0]<<"    "<<a[1]<<"    ";fuzhi(s3,a[0],a[1]);show(huajian(s3));string s4=s;cout<<a[0]<<"    "<<a[0]<<"    ";fuzhi(s4,a[0],a[0]);show(huajian(s4));               return 0;
} 

四、实验的分析与思考

1）输入二元运算，要求如下:“h-合取 x-析取 d-单条件 b-双条件 n-非”“仅支持二元运算，用p,q表示”“输入样例:px(qh(pdq)) , n(px(qhp))”“n使用要求:np应用()扩起来，例如qx(np),(np)hq,n(pxq)”
2）第一步去括号，使用去括号递归函数。每次去最内层的括  号（标记第一次出现的‘）’，与之匹配的‘（’组合为最内层 括号）。去除后保存到新生成的字符串再次调用本身继续去括号。
3）去除全部括号后只剩下简单的p*q型或np型运算，通过show函数计算结果后输出。
4）针对不同真值指派运算得到不同结果
5）输出真值表。