离散数学——成真赋值与成假赋值

今天复习离散数学的时候饱受一个问题的困扰——为什么主析取范式和主合取范式的小项和大项采用不一样的赋值方式，查阅一些资料后得出答案，在这里分享给大家。

首先给大家明确一下赋值、成真赋值、成假赋值的概念：

对于一个命题公式P中的所有命题变项指定一组真值，则称为P的一个赋值。如果在某种赋值下，命题公式P的值为1，这种赋值称为成真赋值；如果在某种赋值下，命题公式P的值为0，这种赋值称为成假赋值。

现在为大家说明为什么对于两种范式采用不一样的赋值方法：

主析取范式是由一个个小项（简单合取）组成的，对于简单合取来说，要使式子为假有多种赋值，但是使其为真只有一种情况（即都为真的情况），所以，我们使用成真赋值。

主合取范式恰好相反，它是由一个个大项进行合取组成的，大项是简单析取，对于大项而言，要使它为真有多种赋值，但是使其为假只有一种赋值，所以我们对于主合取范式采用成假赋值。

离散数学——成真赋值与成假赋值相关推荐

劫持PR值的几个方法假PR值成真PR值
刚刚我介绍了一个网站误操作导致"劫持PR"了,下面就来说说如何劫持PR了劫持PR值的几个方法-假PR值成真PR值!我们知道PR值对一个站很重要.有PR值更好和别的站做友情链接嘛. ...
辨别利用AAC转成无损格式音乐的假无损
我们都知道,网络上无损音乐很多,假无损也很多. 如果是MP3转成无损,很好鉴别. 但是,自从出现了一个叫做AAC的东西... 很多网上鉴别是否是CD音质的软件都几乎无法鉴别这首歌是CD音质,还是利用 ...
“我在B站有套房”成真：云蹦迪、不停学还健身
[TechWeb]2月8日,全国抗疫战进入攻坚时期,企业复工.学校复课推迟,人们响应防疫号召减少外出.为丰富居家人员的文化消费选择.缓解焦虑,B站发起全民"卧室运动",让用户足不出 ...
x86架构和arm架构_苹果Mac弃用英特尔芯片成真，ARM架构CPU真比X86香？
苹果Mac弃用英特尔芯片成真,ARM架构CPU真比X86香? 科技圈没有秘密,传言一般都是真的.此前传的沸沸扬扬的苹果Mac弃用英特尔芯片最终尘埃落定,苹果在全球开发者大会上宣布自研芯片计划,Mac放 ...
“意念打字”终成真！准确率超 99%，还登上了《Nature》封面！
整理 | 郑丽媛出品 | CSDN(ID:CSDNnews) 曾经只存在于科幻作品中的"意念打字"成真了! 昨日,国际著名科学杂志<Nature>最新一期的封面是写得 ...
淘宝退款崩溃；马云预言成真；谷歌推新API | 极客头条
「CSDN 极客头条」,是从 CSDN 网站延伸至官方微信公众号的特别栏目,专注于一天业界事报道.风里雨里,我们将每天为朋友们,播报最新鲜有料的新闻资讯,让所有技术人,时刻紧跟业界潮流. 快讯速知淘 ...
等了十年的微信功能终于成真
来源:电脑报 | 编辑:张毅微信最近的改变似乎真的很让人喜欢,开启诸多使用功能的同时,一些小伙伴期盼多年的功能也补上了,只不过这一次依旧是Mac用户先一步享受-- 01 等了十年的微信功能终于成真 ...
《Dream it possible》【梦想能成真】——最具感人，激励，追梦的英文歌曲，华为主题曲。
<Dream it possible>[梦想能成真] I will run I will climb I will soar 我狂奔,我攀登,我高飞 I'm undefeated 我不怕失 ...
项目管理-8-径回东土五圣成真（大结局）
项目管理-8-径回东土五圣成真(大结局) 引言 '圣僧努力取经编,西宇周流十四年.苦历程途遭患难,多经山水受迍邅.''功完八九还加九,行满三千及大千.大觉妙文回上国,至今东土永留传.' 经过十万八千 ...
除了USDT，还能用什么，传说中的“USDT暴雷”是否成真？
文:褚康潘依盈来源:犇睿研究院出品近几个月来比特币从7000USDT一路猛涨,甚至直冲14000USDT.虽然近期比特币遭遇持续回调,但犇睿资本认为比特币在下一段时间周期内能总体上涨的逻辑,还是 ...

离散数学——成真赋值与成假赋值

离散数学——成真赋值与成假赋值相关推荐

最新文章

热门文章