命题公式真值表的生成与公式类型的机械判定

• Generating Algorithm of Truth Value Table and Type's Mechanical Decision to a Propositional Formula