南邮 | 离散数学实验一：利用真值表法求取主析取范式以及主合取范式的实现

题目：根据给定的式子，先输出其真值表，再利用真值表法求取主析取范式以及主合取范式，输出答案。

举例：以 (P^Q) V (非P^R) 为例。

程序代码

//(P^Q) V (非P^R)
//主合取范式: (非PVQV非R) ^ (非PVQVR) ^ (PV非QVR) ^ (PVQVR)
//主析取范式: (P^Q^R) V (P^Q^非R) V (非P^Q^R) V (非P^非Q^R)
#include <iostream>
#include <cmath>
using namespace std;
int a[1000], b[1000], c[1000];  //P^Q  非P^R  A
int x[1000], y[1000], z[1000];  //P Q R
int n;//输出真值表
void Output_truth_table(){cout << endl << "The truth table is:" << endl;cout << 'P' << '\t' << 'Q' << '\t' << 'R' << '\t';cout << "P^Q" << '\t' << "非P^R" << '\t' << "(P^Q) V (非P^R)" << endl;for(int i = 0; i < pow(2, n); ++i){//输出 P Q R 的真值if(i < pow(2, n-1)){x[i] = 1;cout << 'T' << '\t';}if(i >= pow(2, n-1)){x[i] = 0;cout << 'F' << '\t';}if(i % 4 < 2){y[i] = 1;cout << 'T' << '\t';}if(i % 4 >= 2){y[i] = 0;cout << 'F' << '\t';}if(i % 2 == 0){z[i] = 1;cout << 'T' << '\t';}if(i % 2 == 1){z[i] = 0;cout << 'F' << '\t';}//输出(P^Q)  (非P^R)  (P^Q) V (非P^R) 的真值if(a[i] == 1) cout << 'T' << '\t';else if(a[i] == 0) cout << 'F' << '\t';if(b[i] == 1) cout << 'T' << '\t';else if(b[i] == 0) cout << 'F' << '\t';if(c[i] == 1) cout << 'T' << endl;else if(c[i] == 0) cout << 'F' << endl;}
}//主合取范式
void Master_conjunction(){cout << endl << "Master_conjunction is: ";int count = 0;for(int i = 0; i < pow(2, n); ++i){if(c[i] == 0){  //如果公式真值为假，则输出相应的真值相反的 P Q Rif(x[i] == 1 && y[i] == 1 && z[i] == 1){cout << "(非PV非QV非R)";count++;}else if(x[i] == 1 && y[i] == 1 && z[i] == 0){cout << "(非PV非QVR)";count++;}else if(x[i] == 1 && y[i] == 0 && z[i] == 1){cout << "(非PVQV非R)";count++;}else if(x[i] == 1 && y[i] == 0 && z[i] == 0){cout << "(非PVQVR)";count++;}else if(x[i] == 0 && y[i] == 1 && z[i] == 1){cout << "(PV非QV非R)";count++;}else if(x[i] == 0 && y[i] == 1 && z[i] == 0){cout << "(PV非QVR)";count++;}else if(x[i] == 0 && y[i] == 0 && z[i] == 1){cout << "(PVQV非R)";count++;}else if(x[i] == 0 && y[i] == 0 && z[i] == 0){cout << "(PVQVR)";count++;}if(count != pow(2, n-1)) cout << " ^ ";}}cout << endl;
}//主析取范式
void Master_disjunction(){cout << endl << "Master_disjunction is: ";int count = 0;for(int i = 0; i < pow(2, n); ++i){if(c[i] == 1){  //如果公式真值为真，则输出相应真值的 P Q Rif(x[i] == 1 && y[i] == 1 && z[i] == 1){cout << "(P^Q^R)";count++;}else if(x[i] == 1 && y[i] == 1 && z[i] == 0){cout << "(P^Q^非R)";count++;}else if(x[i] == 1 && y[i] == 0 && z[i] == 1){cout << "(P^非Q^R)";count++;}else if(x[i] == 1 && y[i] == 0 && z[i] == 0){cout << "(P^非Q^非R)";count++;}else if(x[i] == 0 && y[i] == 1 && z[i] == 1){cout << "(非P^Q^R)";count++;}else if(x[i] == 0 && y[i] == 1 && z[i] == 0){cout << "(非P^Q^非R)";count++;}else if(x[i] == 0 && y[i] == 0 && z[i] == 1){cout << "(非P^非Q^R)";count++;}else if(x[i] == 0 && y[i] == 0 && z[i] == 0){cout << "(非P^非Q^非R)";count++;}if(count != pow(2, n-1)) cout << " V ";}}cout << endl;
}int main(){cout << "Please input the number of variable:";cin >> n;cout << endl << "The formula is:(P^Q) V (非P^R)" << endl;int m1 = 0;int m2 = 0;int m3 = 0;//三重循环for(int i = 0; i < 2; ++i){for(int j = 0; j < 2; ++j){for(int k = 0; k < 2; ++k){if(i == 0 && j == 0){a[m1++] = 1;  //P为真，Q为真：P^Q 为真}if(j == 1 || i == 1){a[m1++] = 0;  //P为真，Q为假 或 P为假：P^Q 为假}if(i == 0 || k == 1){b[m2++] = 0;  //P为真 或 P为假，R为假：(非P^R)为假}if(i == 1 && k == 0){b[m2++] = 1;  //P为假 且 R为真：(非P^R)为真}}}}for(int m3 = 0; m3 < pow(2, n); ++m3){if(a[m3] == 0 && b[m3] == 0){  //P^Q 为假 且 (非P^R)为假c[m3] = 0;}else c[m3] = 1;}Output_truth_table();Master_conjunction();Master_disjunction();return 0;
}

实验结果

南邮 | 离散数学实验一：利用真值表法求取主析取范式以及主合取范式的实现相关推荐

离散数学范式c语言实验报告,离散数学实验报告-利用真值表法求主析取范式及主合取范式的实现...
1.实验报告( / 学年第一学期)课程名称离散数学实验名称利用真值表法求主析取范式及主合取范式的实现实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专业实验报告实验名称利 ...
利用真值表法求取主析取范式以及主合取范式的实现(C++)
代码如下: #include <iostream> #include <stack> #include <string> #include <vector&g ...
【离散数学】Java语言实现利用真值表法求主析取范式和主合取范式
C++版本的看这个链接: [离散数学]C++语言实现利用真值表法求主析取范式和主合取范式_zhtstar的博客-CSDN博客https://blog.csdn.net/weixin_56319483/ ...
【离散数学】C++语言实现利用真值表法求主析取范式和主合取范式
Java版本的如下链接所示: Java语言实现利用真值表法求主析取范式和主合取范式_zhtstar的博客-CSDN博客https://blog.csdn.net/weixin_56319483/art ...
Python实现---南邮离散数学实验四：图的生成及欧拉（回）路的确定
一.题目要求: 内容: 对具有n个结点的无向图,判断其能否被一笔画. 要求: 对给定n个结点的无向图,进行欧拉图和半欧拉图的判定,若是欧拉图或半欧拉图,则输出所有的欧拉(回)路. 二.实验原理及内容: ...
南邮 | 离散数学实验二：集合上二元关系性质判定的实现
题目:根据某一集合元素以及关系矩阵,判断其满足什么特性,输出满足的特性,再求此集合的闭包. 举例:以集合{1,2,3,4}为例.关系矩阵为:[[1,0,1,0],[0,1,0,0],[1,0,1,1] ...
南邮计算机实验报告合集【非常全】
南邮计算机实验报告合集 GitHub上自取,可以借鉴,请勿直接抄袭南京邮电大学数据结构实验,南京邮电大学离散数学实验,南京邮电大学操作系统实验,南京邮电大学电工电子基础实验B实验,南京邮电大学汇编语 ...
南邮matlab实验报告,南邮matlab实验报告.doc
南邮matlab实验报告软件课程设计实验报告模块名称:__MATLAB_____________ 专业班级:__ __________ 姓名:__ _____________ 学号:__ _ ...
离散数学实验报告三——真值表与主范式
离散数学实验报告三--真值表与主范式一.预习内容: 1.真值表:把变量的各种可能取值与想对应的函数值,用表格的形式一一列举出来,这种表格就叫做真值表 2.命题公式的析(合)取范式 ⑴文字:命题变元及 ...
C语言南邮数据结构实验报告2,南邮数据结构实验报告.docx
南邮数据结构实验报告实验报告课程名称实验名称数据结构二叉树基本操作以及哈夫曼编码译码系统实验时间指导单位指导教师年月日学生姓名学院(系) 班级学号专业二叉树的基本运算: 一.问题描述 ...

南邮 | 离散数学实验一：利用真值表法求取主析取范式以及主合取范式的实现

程序代码

实验结果

南邮 | 离散数学实验一：利用真值表法求取主析取范式以及主合取范式的实现相关推荐

最新文章

热门文章