运行与使用说明.txt

一个简单的推理系统,可以对简单表达式进行规约判断

1.由于使用netbeans编写,在编译或运行前，请先将swing-layout-1.0.jar拷贝到安装jdk的lib目录中，然后写入环境变量%JAVA_HOME%\lib\swing-layout-1.0.jar;
2.本程序的条件子句之间用逗号分隔；
3.不能处理括号，形如"a∧b∨c"将处理为"a,b∨c".