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

2024-06-21 12:08:54

主析取范式

对任意一个命题公式来说，主析取范式与主合取范式都是唯一的。

命题变元指原子化的，P，Q命题。

极小项的定义：包含全部N个命题变元的合取式，称其为极小项，且N个命题变元中，每个变元与它的否定不能同时存在，但两者中必有一个出现且仅出现一次。（显而易见，∧这样合取的时候，表达的范围要小，是两个圆重叠的部分，故称之为极小项）

在这里，如果有一个命题公式，仅包含P、Q两个命题变元，如P->Q这样的命题公式，那么存在四个极小项，也就是命题变元以合取的样子存在四种组合情况，就是P∧Q,P∧¬Q，¬P∧Q和¬P∧¬Q。

如果是（P∧Q）V（P∧¬R）。则任意极小项必须包含P，Q，R这三个命题变元，且每个变元与它的否定不能同时存在。

主析取范式是令命题公式为真时，也为真的n个极小项的析取，这n个极小项的析取，与命题公式等价。

如下图：

不写P∧¬Q是因为，P∧¬Q为真值时，P为T，Q为F，对应第二行。此时命题公式为F，故不必列出。

主析取范式的原理是，选取一个命题公式，用极小项（也即是包含全部基本命题变元的合取）的析取，来与原命题公式等价。

**

这个时候就有一个问题，为什么这样的极小项就等价呢?

**

原理在于，一个命题公式，每一次N个（全部）命题变元取不同的值令其为真时，都对应着唯一的一个极小项（每一个极小项，都包含全部的命题变元的一种赋值情况）为真

将所有这样的极小项用V，析取符号，“或” 起来，就可以概括所有令命题公式为真的情况！

当出现N个命题变元赋值与主析取范式里的极小项的赋值不同的情况时候，主析取范式里的极小项没有一个是取真值，主析取范式为假。

故主析取范式与原命题公式等价。

主合取范式

主合取范式是令命题公式为假时，也为假的n个极大项的合取，这n个极大项的合取，与命题公式等价。

如下图：

主合取范式的原理是，

N个极大项（也即是包含全部基本命题变元的析取）的合取。

因为一个命题公式选择用极大项的合取来表示等价关系的时候，每一个极大项为假时，也对应一种命题变元的赋值情况，而所有极大项为假的情况的合取，就对应了命题公式所有为假时候的，命题变元的取值情况。

这样看来，同一个命题公式的主析取范式的极小项数量与主合取范式的极大项的数量之和，应该是N个命题变元的所有组合情况，两个命题变元则总的组合情况为4(2^2)，

三个命题变元的总的组合情况为8(2^3)。

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

离散数学范式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 ...
离散数学实践一编程判断主析取范式和主合取范式【java实现】
文章目录实验要求二编程思路分析困难所在二完整代码实验要求实验类型:设计性实验目的通过算法设计并编程实现,使学生掌握利用计算机语言判别合式公式主范式的基本方法. 实验内容给定合式公 ...
离散实验真值表求主析取范式、主合取范式的计算机语言实现
离散数学实验一标题:真值表求主析取范式.主合取范式的计算机语言实现其他课程的一些其他实验源码也可在本人github主页找到哦链接如下:https://github.com/Schiz0mani ...
使用C++求命题公式的主析取范式与主合取范式
最近的离散数学的一个上机作业,要求任意输入一个命题公式,求它的真值表与主析取范式和主合取范式.其中的命题连接词都是用特殊符号来表示(怕麻烦--),并最终选择使用C++来编写程序. 先贴代码: // 五 ...
求主析取范式与主合取范式
定义设A为恰含命题变元p1,-,pn的公式.公式A称为A的主析(合)取范式(majordisjunctive(conjunctive)normal form),如果A是A的析(合)取范式,并且其每个合 ...
matlab析取范式求主析取范式用电脑,（p∧q）∨r 求其主析取范式再用主析取范式求主合取范式...
共回答了21个问题采纳率:90.5% 主合取范式:若干个极大项的合取. 主析取范式:若干个极小项的析取. 例, 求公式(p∧q)∨r的主析取范式及主合取范式. 主析取范式: (p∧q)∨r (p∧q∧ ...
用c语言编程求主析取范式,求主析取范式.cpp · wangzhankun/C-Programming-Learn - Gitee.com...
/* 实现功能:输入命题公式的合式公式,求出公式的真值表,并输出该公式的主合取范式和主析取范式. 输入:命题公式的合式公式输出:公式的主析取范式和主析取范式,输出形式为:" mi ∨ mj ...

最新文章

热门文章