趣味逻辑推理.pdfVIP

动手的问题 下面三个问题都需要用计算机编程实现。 （难度逐渐加大） 首先作如下约定： 输入的命题变元用小写字母表示，如 p、q 、r 、s、t 计算机中命题连接词否定连接词、 合取连接词、 析取连接词、 蕴含连接词和等价连 接词分别用 ! 、 、|( 键盘上回车上面右方括号按键右边那个按键上档的符号 )、-和+表示。 根据以上约定，一个命题公式的示例如下： !pq 即 题目： 1. 判断一个给定的公式是不是命题公式。 难度系数： 0.9 例如输入公式 !p+q ，程序应该显示肯定的答复 (中文，英文皆可 ) ；输入 q!p ，程序应 该返回否定的结果。 2. 在题目 1 的基础上判断给定的命题公式是重言式、矛盾式或者非重言可满足式。 （参考 阅读文章“命题公式真值表的生成算法”