实验1-联结词的逻辑运算

实验1 联结词逻辑运算

一、实验目的

实现一元否定，以及二元合取、析取、蕴涵和等价命题公式的计算，熟悉联结词逻辑运算规则。

二、实验内容

从键盘输入两个命题变元p和q的真值，求p的否定运算的真值以及求p和q的合取、析取、蕴涵和等价运算的真值。要求对输入内容进行分析，如果不符合0、1条件需要重新输入，程序有良好的输入输出界面。

三、实验环境

使用Microsoft Visual C++6.0为编程软件，采用C语言为编程语言实现。

四、实验过程

1. 算法分析

（1）否定：p为1时公式值为0，否则为1；

（1）合取：p，q都为1时公式值为1，其他为0；

（2）析取：p，q都为0时公式值为0，其他为1；

（3）蕴含：p为1，q为0时公式值为0，其他为1；

（4）等价：p，q同真同假时公式值为1，其他为0。

2. 实验数据及结果分析

参考实验结果：

图1 程序运行时，输入0结束图2 p值不符合要求，进入下一次执行流程

图3 输入p与q的真值后，输出二元运算结果