Generating Algorithm of Truth Value Table and Type's Mechanical Decision to a Propositional Formula是什么意思 Generating Algorithm of Truth Value Table and Type's Mechanical Decision to a Propositional Formula怎么读