使用手册.txt

控制台下输入一个数理逻辑表达式

操作方式：
运行程序以后，根据提示输入命题逻辑表达式，或运算用|，与运算用 &,蕴涵运算用>，等价运算用=,命题变元使用英文字母，注意：表达式一定记得要用#结尾，否则会提示出错的。
输入完后键入回车，程序会自动检查你所输入的表达式的合法性并给出相应的提示。表达式检查为正确后，即输出真值表，析合范式与合析范式。此时程序会询问是否要再次运算，若输入Y，则继续运算，否则退出程序。
开发人员：
计算机系06级1班
学号：061221009
姓名：陈阳
联系方式：
1．	手机：[phone]
2．	E-mail:[e-mail]
3．	QQ:693497170