南京邮电大学实验一真值表法求主析取主合取范式

实验一利用真值表法求取主析取范式以及主合取范式的实现实验名称：利用真值表法求取主析取范式以及主合取范式的实现实验目的：通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握实验类型：验证实验学时：4实验环境：Windows+VC从屏幕输入含三个以内变量的合式公式（其中联结词按照从高到底的顺序出现）可用字符数组a记录输入的合式公式如：输入PQPQ！表示；&表示；|表示；>表示；-表示规范列出所输合式公式的真值表多重循环显示真值表（1表示T，0表示F，先1后0）PQA11？将赋值代入公式（可用数组b记录与a中变量对应的赋值）b[0/2/4/6]=-1,b[1/