谓词连接词

逻辑连接词词离散数学

熟悉联结词否定、合取、析取、蕴含和等价的概念，通过计算机编程求其真值。从键盘输入两个命题P和Q的真值，求它们的否定、合取、析取、蕴含和等价的真值，用C/C++语言实现#include<iostream>using namespace std;int main(){ int n; int i, j, k; int M[100][100]; int N[100][100]; cin >> n; for (i = 0; i < n; i++) for(j=0;j<n;j++) { cin >> M[i][j]; N[i][j] = 0; } int flag1 = 1, flag2 = 1, flag3 = 1; for (i = 0; i < n; i++) for(j=0;j<n;j++) { if (i == j) if (M[i][j] != 1) flag1 = 0; if (M[i][j] != M[i][j]) //br> flag2 = 0;// flag2 = 0; for (k = 0; k < n; k++) N[i][j] += M[i][k] * M[k][j]; if (N[i][j] > 0)N[i][j] = 1; if (N[i][j] != M[i][j]) flag3 = 0; } if (flag1)cout << "该关系自反" << endl; else cout << "该关系反自反" << endl; if (flag2)cout << "该关系对称" << endl; else cout << "该关系反对称" << endl; if (flag3)cout << "该关系传递" << endl; else cout << "该关系不传递" << endl; if (flag1 && flag2 && flag3)cout << "该关系等价" << endl; else cout << "该关系不等价" << endl; return 0;}