实 验 一利用真值表法求取主析取范式以及主合取范式的实现
实验名称:利用真值表法求取主析取范式以及主合取范式的实现
实验目的:通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握
实验类型:验证
实验学时:4
实验环境:Windows+VC
从屏幕输入含三个以内变量的合式公式(其中联结词按照从高到底的顺序出现)
可用字符数组a记录输入的合式公式
如:输入PQPQ
!表示;&表示;|表示;>表示;-表示
规范列出所输合式公式的真值表
多重循环显示真值表(1表示T,0表示F,先1后0)
P Q A
1 1 ?
将赋值代入公式(可用数组b记录与a中变量对应的赋值)
b[0/2/4/6]=-1, b[1/5]=P值, b[3/7]=Q值
从左往右计算(用switch a[i] case对运算符进行处理)
:b[i+1]=! b[i+1]
:b[i+1]=b[i-1] && b[i+1]
…
1