离散数学4

离散数学4:析取范式与合取范式

命题公式的两种规范表示方法,能表达真值表所能提供的一切信息。

命题变项及其否定统称作文字。仅由有限个文字构成的析取式叫简单析取式,仅由有限个文字构成的合取式叫简单合取式。

(析取式就是由∨链接的,比如q, ¬q∨p,p∨q∨r;合取式就是由∧链接的,比如p,¬p∧q,¬p∧¬q∧r。所以一个文字既是简单析取式又是简单合取式。)

定理:(1)一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定式。

(2)一个简单合取式是矛盾式当且仅当它同时含有某个命题变项及它的否定式。

所以,由有限个简单合取式的析取构成的命题公式称为析取范式。由有限个简单析取式的合取构成的命题公式称为合取范式。析取范式与合取范式统称为范式。

比如(¬p∨q)∧(¬p∨r) ∧(p∨q∧r)是合取范式,

(p∧q)∨(p∧¬q) ∨(p∧q∧r)是析取范式。

而类似p∧q∧r既是由3个简单析取式构成的合取范式,又是1个简单合取式构成的析取范式;p∨q∨r既是由1个简单析取式构成的合取范式,又是3个简单合取式构成的析取范式。

析取范式和合取范式的性质:

(1)一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式。

(2)一个合取范式是重言式当且仅当它的每个简单析取式都是重言式。

为了把含有¬∨∧→↔这五种联结词的命题公式化成等值的析取范式或合取范式,我们首先要消灭→和↔。这可以用下面两个公式做到:

A→B⇔¬A∨B

A↔B⇔(A→B) ∧(B→A) ⇔(¬A∨B) ∧(¬B∨A)

这样就消去了→和↔

然后范式中一个文字最多有一个非,且必须紧跟文字,也就是说要消灭¬¬A和

¬(A∨B),¬(A∧B)这类的

用如下公式解决:

¬¬A⇔A

¬(A∨B)⇔¬A∧¬B

¬(A∧B) ⇔¬A∨¬B

然后在析取范式中不得出现A∧(B∨C)

在合取范式中不得出现A∨(B∧C)。

用如下公式解决:

A∧(B∨C) ⇔(A∧B) ∨(A∧C)

A∨(B∧C) ⇔(A∨B) ∧(A∨C)

这样就可以化成范式了。

定理:任一命题公式都存在与之等值的析取范式与合取范式。

求给定公式范式的步骤为:

(1)消去联结词→,↔。

(2)消去¬¬,移出否定内容

(3)求析取范式时使用A∧(B∨C) ⇔(A∧B) ∨(A∧C)

求合取范式时使用A∨(B∧C) ⇔(A∨B) ∧(A∨C)

例:求(p→q)↔r的析取范式与合取范式

先消去→和↔:

(p→q)↔r

⇔(¬p∨q)↔r

⇔((¬p∨q) →r) ∧(r→(¬p∨q))

⇔(¬(¬p∨q) ∨r) ∧(¬r∨(¬p∨q))

⇔((p∧¬q)∨r) ∧(¬r∨¬p∨q)

⇔(p∨r) ∧(¬q∨r) ∧(¬r∨¬p∨q)

这就是给定公式的合取范式

再求析取范式

(p→q)↔r

⇔(¬p∨q)↔r

⇔((¬p∨q)→r)∧(r→(¬p∨q))

⇔(¬(¬p∨q)∨r)∧(¬r∨(¬p∨q))

⇔((p∧¬q)∨r)∧(¬r∨¬p∨q)

⇔((p∧¬q)∧¬r)∨((p∧¬q)∧¬p)∨((p∧¬q)∧q)∨(r∧¬r)∨

(r∧¬p)∨(r∨q)

⇔(p∧¬q∧¬r)∨ (r∧¬p) ∨(r∨q)

这就是给定公式的析取范式。

转载于:https://www.cnblogs.com/XiaobaoKing/p/4559276.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/288711.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

linux c之遍历字符串数组

1 问题 比如我们要遍历字符串数组&#xff0c;我们的思路一般是先求字符串数组的长度&#xff0c;然后再用for循环便利&#xff0c;其实没必要这样&#xff0c;我们直接在 字符串数组后面加上个NULL就行再去遍历 2 代码实现 #include <stdio.h>int main() {static con…

php之clone 复制对象以及__clone魔术方法

如果错误和不足请给予指出&#xff0c;谢谢~ (⊙&#xff3f;⊙) 在开始使用clone之前我们下先看以下一个小例子&#xff1a; <?php //首先定义一个test一个类 class Testclass {//成员变量是$value1public $value1; } //随后new一个obj1 $obj1 new Testclass(); //复…

java语言中的浮点型数据分为,Java语言中的浮点型数据根据数据存储长度和数值精度的不同,进一步分为float型和double型,其中dou...

Java语言中的浮点型数据根据数据存储长度和数值精度的不同&#xff0c;进一步分为float型和double型&#xff0c;其中dou更多相关问题【单选题】下列因素中不是经济中内在稳定器的是【单选题】外在时滞是以下哪两者之间的时间&#xff1a;【单选题】当经济中存在失业时&#xf…

python查看图片的源代码_python实现图片筛选程序

今天因工作需要写了个小程序&#xff0c;用于在图片集中自动抽取需要的照片。该程序只是实现了基本功能&#xff0c;还有很多需要完善的地方&#xff0c;展示出来算是给自己鼓鼓气吧。该程序应用有一定特殊条件&#xff0c;因我选择的图片集是工业生产过程中自动拍摄生成的&…

C#中使用WeiFenLuo.WinFormsUI.Docking.dll实现窗口停靠效果

很酷的效果&#xff0c;很值得好好去学习的哈。 重置工具箱&#xff1a; 新建一个WinForm程序,项目名称为TestDockPanelControl。选中Form1窗体后选择工具箱--->>新建个添加选项卡命名为WeiFenLuo--->>右键--->>选择项--->>浏览--- >>weiFenLuo.…

使用aspnetcore前后端分离开发,你一定要知道这个。

前言用过Vue单页面应用开发的&#xff0c;一定都知道Vue-router这个路由组件&#xff0c;它支持hash和history两种模式。HTML5 History 模式vue-router 默认 hash 模式 —— 使用 URL 的 hash 来模拟一个完整的 URL&#xff0c;于是当 URL 改变时&#xff0c;页面不会重新加载。…

Atitit. 木马病毒的外部class自动加载机制------加载class的方法总结

Atitit. 木马病毒的外部class自动加载机制------加载class的方法总结 Atitit.java load class methods 1. 动态加载jar文件和class文件。 1 2. 使用Class静态方法 Class.forName 1 2.1. 使用ClassLoader 1 2.2. 3. 直接new 2 3. Ref 2 1. 动态加载jar文件和class文件。 完成…

剑指offer之找到链表里面包含环的入口节点

1 问题 剑指offer之找到链表里面包含环的入口节点&#xff0c;比如 // node7<-node6 <-node5// | |//head->node1->node2->node3->node4 环的入口节点是node2 2 代码实现 #include <stdio.h> #include <s…

Visual Studio 2015专业版创建Win32控制台应用程序,C,C++源文件

原配的Visual Studio 2015专业版不像之前的版本,在新建项目里面是找不到Win32模板的,那么怎么才能新建Win32项目和Win32控制台应用程序呢?今天我就带大家做一简单介绍。 先看如下图所示: 解决: 1、添加的办法是点击上图所示的新建项目界面的Visual C++下面的Windows,再…

php 序列化对象

习惯性借用手册里面的介绍&#xff1a; 所有php里面的值都可以使用函数serialize()来返回一个包含字节流的字符串来表示。unserialize()函数能够重新把字符串变回php原来的值。序列化一个对象将会保存对象的所有变量&#xff0c;但是不会保存对象的方法&#xff0c;只会保存类…

php html标签自定义属性,详解H5的自定义属性data-*

HTML5 增加了一项新功能是 自定义数据属性 &#xff0c;也就是 data-* 自定义属性。在HTML5中我们可以使用以 data- 为前缀来设置我们需要的自定义属性&#xff0c;来进行一些数据的存放当然高级浏览器下可通过脚本进行定义和数据存取。在项目实践中非常有用。例如&#xff1a;…

cdoj 1131 男神的礼物 区间dp

男神的礼物 Time Limit: 20 Sec Memory Limit: 256 MB 题目连接 http://acm.uestc.edu.cn/#/problem/show/1131 Description Lweb学长是集训队里公认的男神。有一天他要给美美的学姐姐准备礼物。Lweb学长可是会魔法的哟。为了准备一份礼物&#xff0c;男神要加工n份材料。每一次…

如何为同一 DTO 属性指定 2 个名称

前言我们在《实现DDD领域驱动设计》中谈到过输出 DTO 的最佳实践&#xff0c;其中一条是&#xff1a;保持输出 DTO 数量最少&#xff0c;尽可能重用。但是&#xff0c;对于 2 个不同接口输出的同一 DTO 属性&#xff0c;客户端可能需要对应不同的名称&#xff0c;比如&#xff…

HDU 4777 Rabbit Kingdom 树状数组

分析&#xff1a;找到每一个点的左边离他最近的不互质数&#xff0c;记录下标(L数组)&#xff0c;右边一样如此&#xff08;R数组&#xff09;&#xff0c;预处理 这个过程需要分解质因数O&#xff08;n*sqrt(n)) 然后离线&#xff0c;按照区间右端点排序 然后扫一遍&#xff0…

按一行一行的方法将一个文本文件复制到另一个文件中_命令行技巧:分割文件内容...

(给Linux爱好者加星标&#xff0c;提升Linux技能)英文&#xff1a;Stephen Snow&#xff0c;翻译&#xff1a;Linux中国/MjSevenlinux.cn/article-10809-1.htmlFedora 发行版是一个功能齐全的操作系统&#xff0c;有出色的图形化桌面环境。用户可以很容易地通过单击动作来完成任…

java:遍历

import java.util.ArrayList;import java.util.Iterator;import java.util.List;/*** 遍历数组四种方法*/class Test {/*** 注&#xff1a;Iterator 迭代器*/public static void main(String[] args) {Test1 t new Test1();Test1 t1 new Test1();List list new ArrayList();…

谷歌浏览器之如何调试页面js

1 问题 谷歌浏览器如果调试页面js 2 举例子 比如我们需要调试www.baidu.com这个页面&#xff0c;我们需要先按下F12&#xff0c;然后再去点击Source,然后在找到相应的js文件&#xff0c;在左边进行打上断点&#xff0c;然后我们再刷新页面&#xff0c;然后我们在右边可以看到…

Matlab 2016b+TimeSat 3.1中文经典安装及使用教程(附下载地址)

本教程为博主刘一哥GIS原创,坚决打击侵权行为,严禁抄袭!!! 目录 一、Matlab2016b下载及安装 二、TimeSat 3.1软件安装 三、TimeSat 3.1软件的使用和说明详解

对象比较 ===三个等于号

可能这是我博客里面最短的博文了。 有关三个等于号的用法。。。 我在这个分类里只是记录一下php中少见的东西&#xff0c;或者说是php中书上不是太过详细介绍的东西。 那么我在这里直接引用php手册里面的内容吧&#xff0c;很简单&#xff1a;当使用比较运算符&#xff08;&…

php判断秒为两位数,判“新”函数:得到今天与明天的秒数

判“新”函数&#xff1a;得到今天与明天的秒数更新时间&#xff1a;2006年10月09日 00:00:00 作者&#xff1a;如果你想根据时间来判断某一时间值(用秒数表示)是否在今天的范围之内。下面这个函数&#xff0c;将帮你轻而易举的判断。函数源代码&#xff1a;----------------…