笨程序用于判断离散数学中输入的表达式是否为合式公式，如果是，那么输出真值表；不是，则给出否定判断。-Discrete Mathematics stupid procedures used to determine whether the expression entered in well-formed formula, if it is, then the output truth table not, given the negative judgments.