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

《实验一.利用真值表法求取主析取范式以及主合取范式的实现.ppt》由会员分享，可在线阅读，更多相关《实验一.利用真值表法求取主析取范式以及主合取范式的实现.ppt（5页珍藏版）》请在微传网上搜索。

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