构造任意合式公式的真值表(共12页).doc

精选优质文档-倾情为你奉上构造任意合式公式的真值表#include stdio.h#includethesis.hint main()Thesis a30;char x=1;int i=0,N;cout请输入命题变元(不超过30个)(输入0结束输入):x; if(i19)coutError:变元个数太多!endl;break;if(x!=0)ai.inname(x);i+;N=i;int M;M=N;string A;cout请输入命题公式( 否定：！，合取：&，析取：| )A;coutA的真值表为：endl;for(int j=0;jM;j+)coutchar(aj.getvalue() ;