判断输入的式子是否为合适公式，如果是则输出其真值表-The appropriate formula to determine its truth table

合式公式的判断，给定一个公式，通过此程序判断是否是合式公式，给出了使用规则库。-Formed formula of the judge, given a formula to determine whether this procedure is well-formed formula of using the rule base.