自动生成真值表

1. //自动生成真值表
   
2. #include<iostream>
   
3. #include<string>
   
4. using namespace std;
   
5. 
   
6. class Gongshi{//得到任意公式真值表的类
   
7. private:
   
8.     string yuanshimingti;//用来保存输入的原始公式。
   
9. string guodu;//过渡用的字符串。
   
10. string zuijian;//保存命题变元的字符串。
    
11. int num;//原子命题个数
    
12. 
    
13. public:
    
14. Gongshi(string a)//构造函数
    
15. {
    
16.   yuanshimingti=a;
    
17.   guodu="00000000000000000000";//初始化为0000....为了更好的储存数据
    
18.   zuijian="00000000000000000000";
    
19.   huoquzimu();//调用设置函数
    
20. }
    
21. 
    
22. void huoquzimu()//得到原子命题的函数
    
23. {
    
24.   int k=0;
    
25.   for(int i=0;yuanshimingti[i]!=0;i++)
    
26.    if((yuanshimingti[i]>='a')&&(yuanshimingti[i]<='z')){//原子命题必须是小写字母
    
27.     guodu[k]=yuanshimingti[i];
    
28.     k++;
    
29.    }
    
30.    guodu[k]='\0';//字符串结束符
    
31.    setguodu();//调用函数，去掉重复的
    
32. }
    
33. void setguodu()//化简所得到的命题变元，去掉重复的。
    
34. {
    
35.   int k=1;
    
36.   zuijian[0]=guodu[0];
    
37.   for(int i=1;guodu[i]!=0;i++){
    
38.    if(jianyan(guodu[i],i)){
    
39.     zuijian[k]=guodu[i];
    
40.     k++;
    
41.    }
    
42.   }
    
43.   guodu[k]='\0';
    
44.   num=k;//记下命题变元的个数
    
45. }
    
46. bool jianyan(char a,int n)//检验是否重复的子函数
    
47. {
    
48.   for(int i=0;i<n;i++){
    
49.    if(a==zuijian[i])
    
50.     return 0;
    
51.   }
    
52.   return 1;
    
53. }
    
54. 
    
55. void operator1()//主操作函数1
    
56. {
    
57.   int i;
    
58.   for(i=0;i<num;i++)//输出第一行不变的格式
    
59.         cout<<zuijian[i]<<" ";
    
60.      cout<<yuanshimingti<<" "<<"真值"<<endl;
    
61. 
    
62.      int a=1;//用来储存一共有多少种解释。
    
63.   for(i=0;i<num;i++)
    
64.    a=a*2;
    
65. 
    
66.        //分2^num种情况，来解释真值表
    
67.   int b=0,c[10]={0,0,0,0,0,0,0,0,0,0};
    
68.   for(i=0;i<a;i++){
    
69.    int d=b;
    
70.          for(int j=0;j<num;j++){
    
71.     //将十进制转化为二进制
    
72.     c[j]=d%2;
    
73.     d=(int)d/2;
    
74.    }
    
75.    for(int j=num-1;j>-1;j--){
    
76.     cout<<c[j]<<" ";
    
77.    }
    
78.    b++;
    
79.    string cc="0000000000";
    
80.    for(int j=0;j<num;j++){
    
81.     if(c[j]==1)
    
82.      cc[j]='1';
    
83.     else
    
84.      cc[j]='0';
    
85.    }
    
86.       string aa;
    
87.    aa=yuanshimingti;
    
88.    //通过双重循环，用0/1来替代命题变员
    
89.       for(int k=0;k<num;k++){//变员
    
90.      for(int j=0;aa[j]!=0;j++){//原始公式
    
91.       if(aa[j]==zuijian[k])
    
92.       aa[j]=cc[num-k-1];                 
    
93.      }
    
94.    }
    
95.             cout<<aa<<" "<<operator2(aa);
    
96.         cout<<"\n";  
    
97.   }
    
98. }
    
99. char operator2(string chushi)//操作函数2，得到某种解释下真值表的值，主要思路：从前到后，从外到里！
    
100. {
     
101.         //第一步，先找到和计算出最外面的括号！
     
102.   int a,b=0,k=0;
     
103.   for(int i=0;chushi[i-1]!=')'&&chushi[i]!=0;i++){
     
104.    if(chushi[i]==')')
     
105.      b=i;
     
106.   }
     
107.   for(int i=0;chushi[i]!=')'&&chushi[i]!=0;i++){
     
108.    if(chushi[i]=='(')
     
109.      a=i;
     
110.   }
     
111.   if(b!=0){
     
112.       for(int i=a+1;i<b;i++){
     
113.        guodu[k]=chushi[i];
     
114.        k++;
     
115.    }
     
116.       guodu[k]='\0';
     
117.    char t;
     
118.       t=operator2(guodu);
     
119.    chushi[a]=t;
     
120.    int z=a+1;
     
121.   for(k=b+1;chushi[k-1]!=0;k++){
     
122.     chushi[z]=chushi[k];
     
123.     z++;
     
124.    }
     
125.   return operator2(chushi);
     
126.   }
     
127.   //第二步再去掉否定
     
128.   for(int i=0;chushi[i]!=0;i++){
     
129.    if(chushi[i]=='!'){
     
130.     if(chushi[i+1]=='1')
     
131.      chushi[i+1]='0';
     
132.     else
     
133.         chushi[i+1]='1';
     
134.     int z=i;
     
135.           for(k=z+1;chushi[k-1]!=0;k++){
     
136.         chushi[z]=chushi[k];
     
137.         z++;
     
138.     }
     
139.    }
     
140.   }
     
141.   //第三步直接计算真值
     
142.   char c='1';
     
143.   for(int i=0;chushi[i]!=0;i++){
     
144.    if(chushi[i]=='+'){
     
145.     if((chushi[i-1]=='1')||(chushi[i+1]=='1'))
     
146.      chushi[i+1]='1';
     
147.     else
     
148.      chushi[i+1]='0';
     
149.    }
     
150.    if(chushi[i]=='^'){
     
151.     if((chushi[i-1]=='1')&&(chushi[i+1]=='1'))
     
152.      chushi[i+1]='1';
     
153.     else
     
154.      chushi[i+1]='0';
     
155.    }
     
156.    if(chushi[i+1]!=0)
     
157.     c=chushi[i+1];
     
158.   }
     
159.   return c;
     
160. }
     
161. };
     
162. int main()
     
163. {
     
164. string a1;//用来接收输入的字符串
     
165. cout<<"(合取用^代替，析取用+代替，命题变元用小写字母)"<<endl;
     
166. cout<<"请输入表达式：";
     
167. cin>>a1;
     
168. cout<<endl;
     
169. 
     
170. Gongshi gongshi1(a1);//初始化一个类的对象.
     
171. 
     
172. gongshi1.operator1();//调用该类的主操作函数，实现目的.
     
173. 
     
174. return 0;
     
175. }
     

复制代码