离散数学8.2.4主析取范式

最新推荐文章于 2023-01-08 16:32:54 发布

原创

最新推荐文章于 2023-01-08 16:32:54 发布 · 2.4k 阅读

4 ·

CC 4.0 BY-SA版权

文章标签：

#c语言 #编程语言

该博客探讨了离散数学中的主析取范式概念，通过一个具体的例子展示了如何将表达式转化为主析取范式。内容包括问题描述、输入输出样例，并建议在实际输出时使用特定符号替代逻辑运算符。

[问题描述]

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

[输入]

本题无输入。

[输出]

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

[输入样列]

本

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

阳青

关注关注

0
点赞
踩
4

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

专栏目录

从零开始学《离散数学》-电子科技大学

aiqq136的博客

01-30

2889

1.1.1集合论基础集合的初见什么是集合？定义 Asetisagroupofobjects.(simplestway) ByasetwemeananycollectionMintoawholeofdefinitedistinctobjectsm(which wecalledelementsofM)ofourperceptionorofourthought.(Cantor’sway) 集合是由指定范围内的满足给定条件...

离散数学——主析取范式与主合取范式原理探究

weixin_45249529的博客

02-21

1万+

主析取范式 对任意一个命题公式来说，主析取范式与主合取范式都是唯一的。命题变元指原子化的，P，Q命题。极小项的定义：包含全部N个命题变元的合取式，称其为极小项，且N个命题变元中，每个变元与它的否定不能同时存在，但两者中必有一个出现且仅出现一次。 **主析取范式是令命题公式为真时，也为真的n个极小项的析取，这n个极小项的析取，与命题公式等价。**如下图：不写P∧¬Q是因为，P∧¬Q为真值时，P为T，Q为F，对应第二行。此时命题公式为F，故不必列出。 主析取范式的原理是，选取一个命题公式，用极小项（也即

参与评论您还未登录，请先登录后发表或查看评论

html5离散数学,离散数学怎样判断合取范式和析取范式

weixin_32423063的博客

06-21

2510

离散数学怎样判断合取范式和析取范式如何用真值表CSS布局HTML小编今天和大家分享主析取范式和主合取范式(p∧q)∨r的主析取范式。离散数学先补项，然后使用分配率：(p∧q)∨r ⇔(p∧q∧(¬r∨r))∨((¬p∨p)∧(¬q∨q)∧r) 补项。 ⇔((p∧q∧¬r)∨(p∧q∧r))∨((¬p∨p)∧(¬q∨q)∧r) 分配律。 ⇔(p∧q∧¬r)∨(p∧q∧r)∨((¬p∨p)∧(¬q∨q...

求主析取范式与主合取范式

牛牛码特的博客

06-23

1万+

定义设A为恰含命题变元p1,…,pn的公式。公式A称为A的主析（合）取范式（majordisjunctive（conjunctive）normal form），如果A是A的析（合）取范式，并且其每个合（析）取子句中p1,…,pn均恰出现一次。据定义，公式┐p→┐(p→q)的主析取范式是(p∧q)∨(p∧┐q)，而其主合取范式则应是(p∨q)∧(p∨┐q)。例求公式(p∧q)∨r的主析取范式及主合取范式。 (p∧q)∨r (p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r) (p∧q∧r)∨(p

主析取范式主合取范式

qq_51362662的博客

10-11

3672

C语言实现主析取范式 第一次写，不喜勿喷（先来水一波）先保证输入的式子是合法的（不合法我也不会，太弱了）难点主要是计算真值表，可以用堆栈实现，建立两个堆栈，一个储存操作符，另一个储存数值 (手写堆栈) int OPNUM[300], OPOP[300], inum = 0, inop = 0;//储存数字和操作符的堆储存的是int类型，在这之前有将操作符转化成对应的优先级 int charge_operator(char ch){//判断优先级 if (ch == '!') return

主析取范式

09-25

简要介绍合取范式与析取范式的求取

数据结构与算法-头歌【2】链式线性表--课上练

m0_61804419的博客

01-08

5844

任务描述本关任务：完成创建一个带表头的空链表的操作。编程要求根据提示，在右侧编辑器补充代码，完成链表结点定义，创建带表头的空链表并返回表头的函数。开始你的任务吧，祝你成功！

S7-410 smart V8.2.4固件安装包-链接地址

热门推荐

极目楚天空

03-28

6万+

今天总结了一下关于离散数学化简主析取范式以及主合取范式的一些方法。首先一般可能会用到分配律:A∨(B∧C)<=>(A∨B)∧(A∨C)， A∧(B∨C)<=>(A∧B)∨(A∧C)；其次若化简式里有蕴涵符号，则可以用蕴涵等值式 A→B<=>¬A∨B 进行化简；若求主析取范...

离散数学主析取及主合取范式

weixin_44751941的博客

12-06

5万+

离散数学主析取及主合取范式版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。本文为本人结合书本，网络资源的学习笔记，没有任何商业用途，如有任何错误，问题请广大网友指正和提出！文章目录离散数学主析取及主合取范式**概念**一：析取范式与合取范式析取范式与合取范式求范式的步骤二：主析取及主合取范式**解法**等价公式真值表注：概念一：析取...

离散数学题目总结归纳

canola_flowers的博客

01-26

4754

单选题（共 55 题,每题 1 分下面哪个公式不是重言式？（） A:Q→（PVQ） B:（P∧Q）→PC:┐（P∧┐Q）∧(┐P v Q) D:P→Q<->(┐P v Q) 解析：重言式找出假，当P为1Q为0时，结果为假令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（） A:p∧┐q B:p∨┐q C:p∧q D:p→┐q ...

离散数学：C语言生成极小项

zb_tjw的博客

03-24

1398

样例输入 PQR 010 样例输出 \neg P\wedge Q\wedge \neg R 注：该代码仅为下一届小学弟小学妹做个参考，代码质量堪忧，不过能保证满分过，程序有小错误，并没有改，有两种改法，原因是不同编译器的问题，实测在VC6.0和采用以gcc底层编译的环境会出现不同的结果，改法有两种方式一：如果是vc6.0环境则将row_pos < strlen(row1)-...

用c语言编程求主析取范式,求主析取范式.cpp · wangzhankun/C-Programming-Learn - Gitee.com...

weixin_36284848的博客

05-25

2087

/*实现功能：输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。输入：命题公式的合式公式输出：公式的主析取范式和主析取范式，输出形式为：“ mi ∨ mj ; Mi ∧ Mj” ，极小项和 ∨ 符号之间有一个空格，极大项和 ∧ 符号之间有一个空格；主析取范式和主合取范式之间用“ ; ”隔开，“ ; ”前后各有一个空格。永真式的主合取范式为 1 ，永假式的主析取范式为...

主析取范式与主合取范式

微笑的骷髅

06-08

3万+

主析取范式与主合取范式定义设A为恰含命题变元p1,…,pn的公式。公式A称为A的主析（合）取范式（majordisjunctive（conjunctive）normal form），如果A是A的析（合）取范式，并且其每个合（析）取子句中p1,…,pn均恰出现一次。据定义，例1.21中公式┐p→┐(p→q)的主析取范式是(p∧q)∨(p∧┐q)，而其主合取范式则应是(p∨

C语言：离散数学8.1.5 笛卡尔积

extern_int_Lin的博客

02-26

4345

[问题描述] 有两个集合A和B，求这两个集合的笛卡尔积A×B。 [输入] 本题有多组测试数据。每组测试数据的格式如下：第一行先是一个整数n,然后是n个小写字母，整数字母之间均用一个空格分开。第二行先是一个整数m,然后是m个小写字母，整数字母之间均用一个空格分开。 [输出] 每组测试数据输出一行。该行先输出一个整数k，表示A×B的元素个数，然后是k个有序对（按有序对的字典...

离散数学 8.1.3 A-B（C语言）

extern_int_Lin的博客

02-25

4232

[问题描述] 今天我们这个A-B求的是两个集合的差，就是做集合的减法运算。（当然，大家都知道集合的定义，就是同一个集合中不会有两个相同的元素，这里还是提醒大家一下）呵呵，很简单吧？ [输入] 每组输入数据占1行,每行数据的开始是2个整数n(0<n<=100)和m(0<m<=100),分别表示集合A和集合B的元素个数，然后紧跟着n+m个元素，前面n个元素属于集合A，其...