zhenzhibiao.rar_ zhenzhibiao_zhenzhibiao_合式公式_计算命题真值_计算的真值

#include<iostream> #include<string> #include <iomanip> #include <cmath> using namespace std; typedef struct { int value;//变真值(0/1) char mark;//变元的字符标志 }Bianyuan; //查找并记录，排序变元变量，返回变元的个数 int BianYuan( const string formula, Bianyuan * by ) { int i,j,k = 0; //查找并记录 for(i=0;formula[i]!='\0';i++){ if( formula[i] >= 'a' && formula[i] <= 'z' ){ for(j=0;j<k;j++){ if( formula[i] == by[j].mark ) break; } if( j == k ){ by[k].mark = formula[i]; by[k++].value = 0; } } } //临时变量，用于排序 int index; char ch; //排序 for(i=0;i<k-1;i++){ index = i; for(j=i+1;j<k;j++){ if( by[j].mark < by[index].mark ) index = j; } if( index != i ){ ch = by[i].mark; by[i].mark = by[index].mark; by[index].mark = ch; } } return k;//返回变元的个数 } //判断真值 char Truthvalue( string& form, int num, Bianyuan* by ) { int i=0,j=0,k=0; int num0=0,count=0;//count记录合式中的字符个数 char value = '0';//记录真值 char rvalue,lvalue;//关系式中的符号左右真值 //if( ((form[i-1] == '1' || form[i-1] == '0') && (form[i+1] == '1' || form[i+1] == '0' )) || form[i-1] == ')' ) char sign; //记录关系符号 //计算关系运算符的个数 for(i=0,j=0;i<form[i]!='\0';i++){ if( form[i] == '(' ) count++; } //用于记录每次进行运算的起始位置 int *pos = new int[count+1]; for(i=0,j=0;i<form[i]!='\0';i++){ if( i == 0 ) pos[j++] = 0; if( form[i] == '(' ) pos[j++] = i; } //真值判断 int size=count; int span;//跨度，用于查找该段子串的后括号 for(i=0;i<=count;i++){ span = 0;//跨度初始化 //标记符号两端的真值并记录运算符号 for(j=pos[size];form[j]!=')';j++){ span++; if( form[j] == '|' || form[j] == '&' || form[j] == '>' || form[j] == '<' ){ sign = form[j]; if( size != 0 ) lvalue = ( j-pos[size] == 2 ? form[j-1] : ( form[j-1] == '1' ? '0' : '1' ) ); else lvalue = ( j-pos[size] == 1 ? form[j-1] : ( form[j-1] == '1' ? '0' : '1' ) ); rvalue = ( form[j+1] != '~' ? form[j+1] : ( form[j+2] == '1' ? '0' : '1' ) ); break; } } //子串真值的运算 switch(sign){ case '|' : if( lvalue == '1' || rvalue == '1' ) value = '1'; else value = '0'; break; case '&' : if( lvalue == '1' && rvalue == '1' ) value = '1'; else value = '0'; break; case '>' : if( lvalue == '1' && rvalue == '0' ) value = '0'; else value = '1'; break; case '<' : if( lvalue == rvalue ) value = '1'; else value = '0'; break; }//完成运算并记录该子串的真值 //化简公式 for(j=0,k=0;form[j]!='\0';j++){ if( j < pos[size] || j > ( pos[size]+span+1 ) ) form[k++] = form[j]; if( j == ( pos[size]+span ) ){ form[k++] = value; num0 = 0; } } if( form[j] == '\0' ) form[k] = '\0';//完成本次公式的化简 size--;//每次循环括号的个数减一 } return value;//返回真值 } //输出真值表，并将合式公式转型 void Display( int num, Bianyuan * by, string& formula ) { int i,j,k; string form=formula;//临时记录转型后的合式公式 for(i=0;i<pow(2,num);i++){ form=formula; //二进制计数器 for (j=num-1;j>=0;j--){ if( by[j].value == 2 ){ by[j].value %= 2; by[j-1].value += 1; } } //合式公式转型 for( k=0;formula[k] != '\0';k++){ for (j=0;j<num;j++){ if(formula[k] == by[j].mark){ form[k] = (by[j].value == 0 ? '0' : '1') ; break; } } } //输出真值表system("pause"); for (j=0;j<num;j++) cout<<setw(4)<<by[j].value; cout<<" "<<Truthvalue( form, num, by )<<endl; by[num-1].value ++; } } int main() { Bianyuan by[4];//记录变元 int i,num;//num记录变元的个数 string formula;//合式公式 //合式符号的定义 cout<<"非p = ~p ， p∨q = p|q ，p∧q = p&q，p->q = p>q，p<->q = p<q"<<endl; cout<<"输入合式公式："; cin>>formula; //判断变元个数 num = BianYuan( formula, by ); //输出真值表 for(i=0;i<num;i++) cout<<setw(4)<<by[i].mark; cout<<" "<<formula; cout<<endl; Display( num, by, formula ); return 0; } /* ((p|q)>r)&s ~((p>q)&r)<s */