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

基本思路参考

!: b[s+1]=!b[s]


&: b[s+1]=b[s-1]&b[s+1]
…

若下标s+2 超出表达式长，则返回b[s+1]，
否则返回cal(b, s+2)
实验内容

编程实现用真值表法求取含三个以内变量的
合式公式的主析取范式和主合取范式

要求：

从屏幕输入含三个以内变量的合式公式（其中
联结词按照从高到底的顺序出现）

规范列出所输合式公式的真值表 给出相应主析取和主合取范式
基本思路参考

可用字符数组a记录输入的合式公式（！表示；&
表示；|表示；>表示；-表示）
实
验
一
利用真值表法求取主析取范式 以及主合取范式的实现
9月23日周一晚10-12 教2-216
基本信息

实验名称：利用真值表法求取主析取范式以及 主合取范式的实现

实验目的：通过源自文库程实现主析取范式以及主合
取范式的真值表求法以巩固相关理论的掌握


实验类型：验证
实验学时：4

实验环境：Windows+VC

多重循环显示真值表（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…(!...&…|…>…-…)