离散数学实验一
实验1 命题公式真值的计算算法实现
计算算法如下：
输入：命题公式内容
步骤1 读入命题公式；
步骤2 给出一组真值；
步骤3 判断范式类型；
步骤4 计算该真值的每个简单析取式或简单合取式的值；
步骤5 计算合取范式或析取范式的值；
步骤6 将该真值和计算的结果输出到原来的文本中，结束。

例如，输入的文本
1 4 3
0 1 -1 0   
1 -1 0 1   
-1 1 0 1   
                    
注解：第一行：范式类型（0：合取范式；1：析取范式）、命题变量个数、简单析取式或简单合取式数量。
其他行给出了：命题变量（1）、命题变量否定式（0）、命题变量没有出现（-1）。


x    y    非x               x且y            x或y
0    0    1              0             0
0    1    1              0             1
1    0    0              0             1
1    1    0              1             1

试过了，不知道该怎么下手