计算机数理逻辑命题演算演示系统的研究

针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题,制作了命题演算演示系统,并对该系统进行研究,主要研究计算机数理逻辑中命题演算部分,重点以5个命题变项如何通过一些逻辑联结词构成复合命题,以一个具体事例来比较,证明该系统的优越性,对计算机辅助教学起到了一定的作用。