给bug点个赞

一、实验目的 熟悉Warshall算法，掌握求关系的自反闭包、对称闭包和传递闭包的方法。实验内容定义1 设R是A上的二元关系，R的自反（对称、传递）闭包是关系R1，则① R1是自反的（对称的、传递的）② RR1③ 对任何自反的（对称的、传递的）关系R2，若RR2，则R1R2。R的自反、对称和传递闭包分别记为r(R)、s(R)和t(R)。定理1 令RAA，则① r(R)=R∪IA② s(R)=R∪R-1③ t(R)=R∪R2∪R3…Warshall算法：设R是

一、实验目的熟悉关系的性质，掌握求判断关系性质的方法二、实验内容定义1 设R是集合X上的二元关系，对任意的x∈X，都满足<x,x>∈R，则R是自反的。定义2 设R是集合X上的二元关系，对任意的x∈X，都满足<x,x>ÏR，则R是反自反的。定义3 设R是集合X上的二元关系，对任意的x,y∈X，满足<x,y>∈RÞ<y,x>∈R，则R是对称的。定义4 设R是集合X上的二元关系，对任意的x,y∈X，满足<x,y>∈R∧<y,x>

一、实验目的 熟悉五个真值表，掌握真值表技术。二、实验内容 定义1 设命题变元P1、P2、P3、…、Pn是出现在公式G中的所有命题变元，指定P1、P2、P3、 …、Pn 的一组真值，则这组真值称为G的一个解释或指派，常记为Ｉ。 定义2 真值表：公式G在其所有可能的解释下所取真值的表。 本实验要求从键盘输入一个命题公式列出其真值表。三、实验源程序#include<iostream>using namespace std;void show(string a)//

一、实验目的 熟悉五个常用联结词合取、析取、条件和双条件的概念，掌握真值表技术二、实验内容 本实验要求从键盘输入两个命题P和Q的真值，求它们的合取、析取、条件和双条件的真值。三、实验程序#include<iostream>using namespace std;class PQ{ int p,q; public: PQ(int a=0,int b=0) { p=a; q=b; } void hequ() { if(p==1&