重言式判别程序,实现了对输入非法性的判别.当不是永真或永假式时,可以选择是否打印真值表-Tautology discriminant procedures, to achieve the identification of illegal importation. When Wing is not true or false-style wing, you can choose whether or not to print truth table