输入公式的符号说明：
非，相当于书面符号中的 “
与，相当于书面符号中的 “
或，相当于书面符号中的 “
蕴含联结词，相当于书面符号中的 “
等价联结词，相当于书面符号中的 “
前括号 后括号
实现功能：输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。
输入：命题公式的合式公式
输出：公式的主析取范式和主析取范式，输出形式为：“ mi ∨ mj ; mi ∧ mj” ，极小项和 ∨ 符号之间有一个空格，极大项和 ∧ 符号之间有一个空格；主析取范式和主合取范式之间用“ ;隔开，“ 前后各有一个空格。
永真式的主合取范式为 1 ，永假式的主析取范式为 0 。
例如：1、输入：a&b
输出：m3 ; m0∧m1∧m2
2、输入：a|b
输出：m2∨m3 ; m0∧m1
实现功能：消解算法。
输入：合式公式 a 的合取范式。
输出：当 a 是可满足时，回答“yes ”；否则回答“no”。
例如：1、输入：(!p|q)&(p|q)&(q)输出：no2、输入：p&(p|q)&(p|!q)&(q|!r)&(q|r)
输出：yes
2019数理方程试题
电子科技大学研究生试卷。考试时间 至 共 2小时 课程名称数理方程与特殊函数教师学时60 学分 3教学方式闭卷考核日期 2011年 12 月 28 日成绩考核方式学生填写 1 化方程为标准形。10分 2.把定解问题 10分 的非齐次边界条件化为齐次边界条件。第 1页。3 有一带状的均匀薄板 边界上的...
上机测验试题
作者 日期 word上机试题。混排 共6题，每题15分 第1题 分别用文本框和竖排文本框排版下面的回文诗 春。花朵几枝柔傍砌，柳丝千缕细摇风。霞明半岭西斜月，月上孤村一树松。参考结果 测试区。第2题 太阳。参照下图画一个 太阳 提示 用自选图形画一个太阳，设置填充颜色和填充效果，再用自选图形画一个笑...
2024年秋上机试题
江苏省高等学校非计算机专业学生。计算机基础知识和应用能力等级考试上机试题 2003年秋 二级visual basic语言 试卷代号vb01 本试卷完成时间70分钟 一 改错 17分 题目 这是一个对原文进行加密的程序，原文全部由大写字母及空格与合法的标点符号组成，加密方法是每个字母依所在原文中的排列...