离散数学实验研究报告().doc

膀一、实验内容:构造任意合式公式地真值表艿二、实验源码:袇#include<>莂#include""薁intmain()螇{蚆 Thesisa[30];蒂 charx='1';肂 inti=0,N;葿 cout<<"请输入命题变元(不超过30个)(输入'0'结束输入):"<<endl;蒅 while(int(x)!=48)薂 {蒃 cin>>x;羆 if(i>19)蒈{cout<<"Error:变元个数太多!"<<endl;break;}蚂 if(x!='0')蕿{蚈 a[i].inname(x);芆 i++;蚂}羀 }莀 N=i;羅 intM;螂 M=N;莁 stringA;螈 cout<<"请输入命题公式(否定:!,合取:&,析取:|)"<<endl;螄 cin>>A;袁 cout<<A<<"地真值表为:"<<endl;螂 for(intj=0;j<M;j++)薀 cout<<char(a[j].getvalue())<<"";螇 cout<<"真值"<<endl;羁 assignment(A,N,M,&a[0]);衿 system("pause");羈 return0;薆}肁芀蚀#include""头文件莅莅#ifndefTHESIS_H蚁#HESIS_H膈#include<string>莈#include<>蒅#include<iostream>肂usingnamespacestd;衿classThesis//命题类膇{ 薅 intvalue;charname;//value:命题地真值(0/1)name:命题名蒃public: 莇 Thesis(){value=2;name='A';};袅 friendThesisoperator!(Thesis&q)蚅{(1-());returnq;}//重载逻辑运算符b5E2RGbCAP虿 friendThesisoperator&(Thesis&p,Thesis&q)聿 {((()+())/2);returnp;}p1EanqFDPw蚄 friendThesisoperator|(Thesis&p,Thesis&q)螅{if(()+()>0)(1);(0);蒇returnp;}螇 friendThesisoperator>(Thesis&p,Thesis&q)袅 {if(()==1&&()==0)(0);(1);蒆returnp;}袄 friendThesisoperator<(Thesis&p,Thesis&q)袂{if(()==())(1);(0);芅returnp;}羄 voidinvalue(intx){value=x;}//输入value罿 voidinname(charx){name=x;}//输入name荿 intgetvalue(){returnvalue;}//获取真值肄 intgetname(){returnname;}//获取命题名肄};莀voidassignment(stringA,intN,intM,Thesisa[]);//声明函数DXDiTa9E3d袇intbds(stringA,intN,Thesisa[]);肇intrun(stringA,int&i,intL,intN,Thesisa[]);膄螁voidassignment(stringA,intN,intM,Thesisa[])//命题赋值并计算真值RTCrpUDGiT薈{袆 for(intj=0;j<2;j++)芄 {膂 a[N-1].invalue(j);羆 if(N>1)薄{莄 assignment(A,N-1,M,&a[0]);薂}螈 else蚇{蒄 for(inti=0;i<M;i++)蝿{蒀 cout<<a[i].getvalue()<<"";莆}蒄 cout<<bds(A,M,&a[0])<<endl;膀}袈 }膅}薃intbds(stringA,intN,Thesisa[])//识别输入地表达式并计算真值5PCzVD7HxA薁{薀 Thesisanswer,Temp;羄 chard[5]={'!','|','&','>','<'};//定义运算符号集合蚃 intL;羂 inti=0;肈 L=strlen(&A[0]);//表达式长度羇 while(i<L)