大家好,
我把问题描述的更清楚些:
是离散数学的上机问题,给一命题公式,编程自动生成该公式的真值表.
例如:
输入命题公式:A && B || (C && D)
然后就能自动生成这个公式的真值表:
A B C D A && B || (C && D)
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
. .
. .
. .
主要是命题变元的个数不确定可能是三个或四个或五个等等，而且怎么识别输入？？？
请各位高手指点一下解题思路
多谢！！！

[CODE]#include <iostream>
#include <cctype>
#include <iomanip>
using namespace std;
int main()
{
int A,B,C,D;
cout<<"A"<<setw(2)<<"B"<<setw(2)<<"C"<<setw(2)<<"D"<<setw(2)<<setfill(' ')<<' '<<"A&&B || C&&D"<<endl;
while(cin.peek()!='!')
{
cin>>A>>B>>C>>D;
cout<<A<<setw(2)<<B<<setw(2)<<C<<setw(2)<<D<<setw(2)<<setfill(' ')<<' '<<(A&&B || C&&D)<<endl;
cin.ignore();
}
return 0;
}[/CODE]
A B C D A&&B || C&&D
0 0 1 1
0 0 1 1 1
1 0 0 0
1 0 0 0 0
0 1 1 1
0 1 1 1 1
!
Press any key to continue

这个是表达式求值，以前有很多这样的帖子，自己找