各位好:
我是个新手,有个问题想请教大家,就是用语言编写程序能计算显示任意个命题和任意条件的真值表,我想不到有什么思路,请各位高手能给我说一下解题的思路,不胜感激.谢谢

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