离散数学8.2.4主析取范式

[问题描述]

求公式(p∨q)→r的主析取范式。

[输入]

本题无输入。

[输出]

在单独的一行中输出公式的主析取范式，所有极小项按照对应的解释的字典顺序输出，即┐p∧┐q∧┐r是字典序的第一个极小项，p∧q∧r是字典序的最后一个极小项。每个极小项用一对圆括号括起来。如果是恒假公式，直接输出0。

[输入样列]

本题无输入。

[输出样例]

(┐p∧┐q∧┐r)∨......

建议：输出时┐用-来代替，∧用*来代替，∨用+来代替。

分析：这道题其实很简单，就是按照(p∨q)→r的真值表输出。比如(┐p∧┐q∧┐r)就对应000

#include<stdio.h>
int main() {int v[4] = { 0 }, flag = 0;char ch[4] = { ' ','p','q','r' };while (v[0] == 0) {if (((v[1] | v[2]) == 0) || (v[3] == 1)) {if(flag==1) printf("+");//开头不能有+printf("(");for (int i = 1; i <= 3; i++) {flag = 1;if (i != 1) printf("*");//每个（）里开头不能有*if (v[i] == 0) printf("-");printf("%c", ch[i]);}printf(")");}v[3]++;for (int i = 3; i >=1; i--) {if (v[i] > 1) {v[i] = 0;v[i - 1] ++;}}}return 0;
}

离散数学8.2.4主析取范式相关推荐

离散数学范式c语言实验报告,离散数学实验报告-利用真值表法求主析取范式及主合取范式的实现...
1.实验报告( / 学年第一学期)课程名称离散数学实验名称利用真值表法求主析取范式及主合取范式的实现实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专业实验报告实验名称利 ...
【离散数学】Java语言实现利用真值表法求主析取范式和主合取范式
C++版本的看这个链接: [离散数学]C++语言实现利用真值表法求主析取范式和主合取范式_zhtstar的博客-CSDN博客https://blog.csdn.net/weixin_56319483/ ...
【离散数学】C++语言实现利用真值表法求主析取范式和主合取范式
Java版本的如下链接所示: Java语言实现利用真值表法求主析取范式和主合取范式_zhtstar的博客-CSDN博客https://blog.csdn.net/weixin_56319483/art ...
离散数学求命题公式的主析取范式和主合取范式
Description 输入命题公式的合式公式,求出公式的真值表,并输出该公式的主合取范式和主析取范式. Input 命题公式的合式公式 Output 公式的主析取范式和主合取范式,输出形式为:&qu ...
大二（上）离散数学主析取范式与主合取范式
#include <stdio.h> #include <stdlib.h> #include <string.h> #include <conio.h> ...
【离散数学】计算主析取范式（基于真值表）
[问题描述] 请根据给定的命题公式,计算其真值为T的小项,列出主析取范式,并输出结果. [输入形式] 输入一个字符串(字符串长度<=50)形式的命题公式,以回车表示输入结束.其中的命题公式为仅包 ...
离散数学：计算主析取范式（基于真值表）
计算主析取范式 [问题描述] 请根据给定的命题公式,计算其真值为T的小项,列出主析取范式,并输出结果. [输入形式] 输入一个字符串(字符串长度<=50)形式的命题公式,以回车表示输入结束.其中 ...
离散数学实践一编程判断主析取范式和主合取范式【java实现】
文章目录实验要求二编程思路分析困难所在二完整代码实验要求实验类型:设计性实验目的通过算法设计并编程实现,使学生掌握利用计算机语言判别合式公式主范式的基本方法. 实验内容给定合式公 ...
离散实验真值表求主析取范式、主合取范式的计算机语言实现
离散数学实验一标题:真值表求主析取范式.主合取范式的计算机语言实现其他课程的一些其他实验源码也可在本人github主页找到哦链接如下:https://github.com/Schiz0mani ...

离散数学8.2.4主析取范式

离散数学8.2.4主析取范式相关推荐

最新文章

热门文章