首页 您的当前位置:www.6538.com > www.6538.net >

k): switch a[s] case…(

发布时间:2019-10-29

  尝试一.操纵实值表法求取从析取范式以及从合取范式的实现_计较机软件及使用_IT/计较机_专业材料。离散数学尝试

  实 验 一 操纵实值表法求取从析取范式 以及从合取范式的实现 9月23日周一晚10-12 教2-216 根基消息 ? 尝试名称:操纵实值表法求取从析取范式以及 从合取范式的实现 ? 尝试目标:通过编程实现从析取范式以及从合 取范式的实值表求法以巩固相关理论的控制 ? ? 尝试类型:验证 尝试学时:4 ? 尝试:Windows+VC 尝试内容 ? 编程实现用实值表法求取含三个以内变量的 合式公式的从析取范式和从合取范式 ? 要求: ? 从屏幕输入含三个以内变量的合式公式(此中 联合词按照从高到底的挨次呈现) ? ? 规范列出所输合式公式的实值表 给出响应从析取和从合取范式 根基思参考 ? 可用字符数组a记实输入的合式公式(!宝马彩票平台。暗示?;& 暗示?;暗示?;暗示?;-暗示) ? 多沉轮回显示线) 并对公式进行响应赋值得数组b ? assign(a, i, j, k): switch a[s] case…(!&-: b[s]=a[s]; ‘P’-i; ‘Q’-j; ‘R’-k) ? 函数递归计较各类赋值环境下b的取值 ? ? 连接词运算符定义 cal(b, s): switch b[s] case…(!...&………-…) 根基思参考 ? !: b[s+1]=!b[s] ? ? &: b[s+1]=b[s-1]&b[s+1] … ? 若下标s+2 超出表达式长,则前往b[s+1], 不然前往cal(b, s+2)