离散数学求合适公式的真值表（Java 实现）

* 显示合适公式的真值表 * 提供将一个中缀合适公式的真值表输出到某一PrintStream流中的功能 * 以单个大写字母表示变量（支持26个变量） * 以字符0或者1表示值 * 以 ~ ^ & > - 分别表示 非 析取 合取 条件 双条件 连接词 * 支持 ( )（括号） * 如果公式中有错误将不会输入真值表（将会输出错误信息） 说明：以 ~ ^ & > - 分别表示 非 析取 合取 条件 双条件 连接词 以单个大写字母表示变量（支持26个变量） 以字符0或者1表示值，式子中的T与F 支持 ( )（括号） 如果公式中有错误将不会输入真值表（将会输出错误信息） 注意：输出的结果会同时显示到屏幕与该程序的同目录下的“真值表结果.txt”文件中 直接按回车键（输入为空）则会退出程序 例如：输入 A^B-(1&C)则会显示 该合适公式是 A^B-(1&C) A B C Key 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 1 1