实验一.利用真值表法求取主取范式以及主合取范式的实现实验一.利用真值表法求取主析取范式以及主合取范式的实现实验一.利用真值表法求取主析取范式以及主合取范式的实现实验一.利用真值表法求取主析取范式以及主合取范式的实现.pptVIP

实 验 一利用真值表法求取主析取范式以及主合取范式的实现 9月23日周一晚10-12 教2-216 基本信息 实验名称：利用真值表法求取主析取范式以及主合取范式的实现 实验目的：通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握 实验类型：验证 实验学时：4 实验环境：Windows+VC 实验内容 编程实现用真值表法求取含三个以内变量的合式公式的主析取范式和主合取范式 要求： 从屏幕输入含三个以内变量的合式公式（其中联结词按照从高到底的顺序出现） 规范列出所输合式公式的真值表 给出相应主析取和主合取范式 基本思路参考 可用字符数组a记录输入的合式公式（！表示?；表示?；|表示?；表示?；-表示） 多重循环显示真值表（1表示T，0表示F，先1后0）并对公式进行相应赋值得数组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)