主析取范式与主合取范式

定义设A为恰含命题变元p₁,…,p_n的公式。公式A^'称为A的主析（合）取范式（majordisjunctive（conjunctive）normal form），如果A^'是A的析（合）取范式，并且其每个合（析）取子句中p₁,…,p_n均恰出现一次。

据定义，例1.21中公式┐p→┐(p→q)的主析取范式是(p∧q)∨(p∧┐q)，而其主合取范式则应是(p∨q)∧(p∨┐q)。

例1 求公式(p∧q)∨r的主析取范式及主合取范式。

(p∧q)∨r

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

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

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

此即所求的主析取范式。另外

(p∧q)∨r

(p∨r)∧(q∨r)

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

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

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

最后一式即为所求的主合取范式。

**** 我们总结一下利用等价推演求公式的主析（合）取范式的方法步骤：

第一步：求出该公式的析（合）取范式；

第二步：简化各子句.除去范式中所有恒假（真）的合（析）取子句，即化掉含有互补文字对的合（析）取子句；将合（析）取子句中同一命题变元的多个出现合并为一个；

第三步：对析（合）取范式中合（析）取子句不是每一变元都出现的，利用p

p∧t

p∧(q∨┐q)或p

p∨f

p∨ (q∧┐q)把未出现的变元补进来，并用分配律将其展开，最后得到给定公式的主析（合）取范式。

现在我们要讨论指派与两种范式之间的联系。

很明白，要使主析取范式取值1，只要使其一个合取子句取值1，从而须使这一子句中的每个文字都取值1，即令正文字中命题变元取值1，而令负文字中命题变元取值0。换言之，由主析取范式的一个合取子句可确定一个弄真原公式的指派；反之，亦可由弄真原公式的一个指派确定其主析取范式中的一个合取子句。弄真公式的指派与主析取范式的合取子句是一一对应的。例如，例1.23中公式的主析取范式有五个合取子句，它们分别对应于5个弄真公式的指派：

p∧q∧r1,1,1

p∧q∧┐r1,1,0

p∧┐q∧r1,0,1

┐p∧q∧r0,1,1

┐p∧┐q∧r0,0,1

类似地，要使主合取范式取值0，只要使其一个析取子句取值0，从而须使析取子句中的每一文字取值0，即令正文字中命题变元取值0，而令负文字中命题变元取值1。换言之，由主合取范式的一个析取子句可确定一个弄假原公式的指派；反之，亦可由弄假原公式的一个指派确定其主合取范式中的一个析取子句。弄假公式的指派与主合取范式的析取子句是一一对应的，只是对应方式刚好相反，正文字对应0，负文字都对应1。例如，例1.23中公式的三个析取子句，如下对应于三个弄假指派：

p∨q∨r0,0,0

p∨┐q∨r0,1,0

┐p∨q∨r1,0,0

由以上分析，我们可以进一步得到下述结论：

（1）每公式的主析取范式和主合取范式都是唯一确定的，因为任一公式的弄真指派及弄假指派是完全确定的。

（2）永真式，例如p∨┐p，没有主合取范式，因为它没有弄假指派。永真式只有主析取范式，它包含所有可能的合取子句（p∨┐p的主析取范式为其自身），因为一切指派均弄真它。为讨论方便，约定永真式的主合取范式为t。

（3）永假式，例如p∧┐p，没有主析取范式，因为它没有弄真指派。永假式只有主合取范式，它包含所有可能的析取子句（p∧┐p的主合取范式为自身），因为一切指派均弄假它。为讨论方便，约定永假式的主析取范式为f。

（4）n个命题变元的主析取范式及主合取范式都有个，因为不同的合取子句及析取子句都是个，而两种主范式都是从个子句中取若干个（0,1,…, 个）子句组成的（取0个子句组成t或f）。我们知道 + + … + = 。从真值表的角度看也是如此。一张真值表（确定了弄真指派和弄假指派）恰对应一个主析（合）取范式。因此，n个变元的真值表有多少种，便相应地有多少n个变元的主析（合）取范式。事实上，n个变元的真值表必有行，对应于个可能的指派，而最后一列的每一行有0，1两个可能的值，因而这一列可能的取值状况有种，从而生成张不同的真值表。

（5）由于每一公式均有主析（合）取范式，因此，无限多的含n个变元的公式可以分作（有限）个类，这一类公式都逻辑等价于它们共同的主析（合）取范式。

主析取范式与主合取范式相关推荐

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

主析取范式与主合取范式

主析取范式与主合取范式相关推荐

最新文章

热门文章