判断表达式是否是合法的公式

//可以在退出程序前多次输入新的表达式进行判定 //定义五种命题的连接词：或（-） 且（+） 非（!） 蕴含（$） 等价（#） //定义两个命题的标点符号：'(',')' //定义三个原子公式：p,q,r