离散实验——真值表法求主合取(析取范式)范式ppt----最终版.pptVIP

实验名称：利用真值表法求取主析取范式以及主和取范式的实现——第五组组长：组员：ppt制作：一、程序开发过程一、组长宣布实验内容、组员任务分配。二、负责程序的组员上网寻找相关源代码。召开第一次实验小组会议，主要会议内容：小组成员合力分析代码，弄懂代码的流程顺序，主要函数功能，代码的不足，需要改进的地方。三、负责ppt的组员负责会议记录，并且将ppt的底稿做好，交与其他组员完善自己负责部分内容。四、负责程序的组员将程序需要改进的地方改好，并且将设计思想和负责问答的同学交流探讨。五、程序运行成功后，召开第二次实验小组会议，主要会议内容：每个组员交流总结自己参与实验的心得，听取组员意见，组长点评各组员工作情况。六、通过ppt的形式展示小组实验成果，在与老师的问答过程中发现弥补此次实验的不足之处，加以总结反思。真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式的真值表，可以判断命题公式的类型、求命题公式的主范式、判断两命题公式是否等价，还可以进行推理等。本实验是通过编写一个程序，让计算机给出命题公式的真值表，并在此基础上进行命题公式类型的判定、求命题公式的主范式等。目的是让我们更加深刻地理解真值表的概念，并掌握真值表的求解方法及其在解决命题逻辑中其他问题中的应用。二、实验目的三、代码运