这是我门上机作业,有个同学做的很好,拿来和大家分享,希望对大家有益^

真值表 是命题逻辑理论 中的一个重要 概念 , 利用它可 以求命 题公式 的主 范式 、 定命 题公式 的类型以及 进行 判命题 逻辑的推理等 。本文给 出了 意命题 公式真值 表的生成 算法 , 用计算机 解决命题 逻辑 中的其它 问题奠定 了基础 。

* 显示合适公式的真值表 * 提供将一个中缀合适公式的真值表输出到某一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

Euler 传递闭包 公式的真值表 关系的判定 集合的幂运算 结合律的判定 两个集合的卡积 零元和单位元 同构关系的判定 自反闭包和对称闭包