第6章实验.docVIP

第章实验1.验证性实验（满分80） 的C语言描述 基本运算的算法—— 2.设计性实验（满分90） ①合式公式的定义 单个命题常项、命题变项p、q、r、0、1、T、F等是合式公式。 若A、B均是合式公式，则： (A是合式公式。 A∧B、A∨B、A(B、A(B均为合式公式。 有限次运用上述两个规则得到的字符串是合式公式。 ②基本要求 ③实现提示 首先弄清联接词的优先级别：(、∧、∨、(、(。 建立该字符串对应的命题合式公式的二叉树表示形式，算法思想类似于表达式的二叉树表示，对于单目运算符(，约定其对应的二叉树的左子树为空。若算法结束时存放运算符的栈T非空，或存放二叉树结点的栈S中不止一个元素，则该字符串并非合法的合式公式，否则是合法的合式公式。 统计该命题合式公式中变元的个数，对各变元赋值，求其命题公式的真值表，并输出。 若该命题公式的真值表中全0则为矛盾式，全1则为重言式，有0有1则为可满足式。 ④思考 如何输出该合式公式的主析取范式和主合取范式？ （2）等价关系与集合的划分 ①基本要求 对于任何一个集合及其上的一个等价关系R，给出该集合的一个划分。 按以下格式输入集合中的元素，及该集合上的关系的序偶对。1,2,3,4,5,6,7,8,92,21,13,44,83,8 验证关系R的等价性。 输出与该等价关系对应的集合的划分。 ②实现提示 集合中的元素采用顺序表s存储，关系R的表示