实验一 数理逻辑相关内容

实验一 数理逻辑相关内容
一．实验目的

1.实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。
2.通过编程实现，使学生熟练掌握利用计算机语言实现逻辑运算的基本方法。
3.使学生熟练掌握利用计算机语言实现逻辑运算的基本方法，增强逻辑推理能力。
二． 实验原理
（1）主析取范式：如果公式A的析取范式中的简单合取式全是极小项，则称该析取范式为主析取范式。
（2）若指定的一组值是A的值为真，则称这组值为A的成真赋值，若使A的值为假，则称这组值为A的成假赋值。
（3）含n个命题变项的命题公式共有组赋值，将命题公式A在所有赋值之下的取值情况列成表，称为A的真值表。
（4）联接词的一些基本常识定理：1.为真当且仅当为假。2.为真当且仅当与同时为真。3.为真当且仅当p与q中至少有一个为真。4.为假当且仅当p为真且q为假。
（5）设有n个命题变项，若在简单合取式中每个命题变项与其否定有且仅有一个出现一次，则这样的简单合取式称为极小项。
（6）推理是从前提推出结论的思维过程，前提是已知的命题公式，结论是从前提出发应用推理规则推出的命题公式。
三．实验内容
利用matlab编写M文件，完成下列问题的求解。
主程序M文件命名规范”M_学号后两位_EX2_题号.m”。
必做题：

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