如何求得公式的求主析取和主合取范式40页PPT
析取范式与合取范式ppt
000
1
001
1
010
1
011
1
100
1
101
1
110
0
111
1
0
1
1
1
0
1
1
1
1
1
1
1
0
0
1
1
p(qr)与(pq)r等值, 但与(pq)r不等值
5
基本等值式
双重否定律 AA
幂等律
AAA, AAA
交换律
ABBA, ABBA
结合律
(AB)CA(BC)
(AB)CA(BC)
分配律
A(BC)(AB)(AC)
24
主析取范式与主合取范式
主析取范式:由极小项构成得析取范式 主合取范式:由极大项构成得合取范式
例如,n=3, 命题变项为p, q, r时, (pqr)(pqr) m1m3 就是主析取范式 (pqr)(pqr) M1M5 就是主合取范式
定理2、7 任何命题公式都存在着与之等值得主析取范式与 主合取范式, 并且就是惟一得、
同一律, 排中律
(pqr)(pqr)(pqr)(pqr)
m0 m2 m4 m6
分配律
得 (pq)r m0 m2 m4 m5 m6
可记作
(0,2,4,5,6)
28
实例(续)
(2) (pq)r (pr)(qr)
pr p0r
同一律
p(qq)r
矛盾律
(pqr)(pqr) 分配律
M1M3 qr (pp)qr
AB (AB)(BA) AB AB AB (AB) (AB) AB (AB) AB (A)B AB
16
简单析取式和简单合取式(最全版)PTT文档
0 1 1 0 0 ∑(2,4,5,6,B7) B∧1B∧(pi∨┐pi)(B∧pi)∨(B∧┐pi)
范 式 ---- 析取式和合取式 A*(┐p,┐q,┐r) ┐p∧(q∨┐r) ┐A*(p,q,r)
∨(p∨┐p)∧(q∧┐r) (p∧q∧r)∨(p∧q∧┐r)
1 0 0 1 0 合取对范偶式式的为析（3）将重复出现的命题变项、矛盾式
(消去第一个→)
┐(┐(p∨q)∨r)∨p
(消去第一个→)
┐((┐p∧┐q)∨r)∨p ((┐┐p∨┐┐q)∧┐r)∨p ((p∨q)∧┐r)∨p
求合取范式 ((p∨q)∧┐r)∨p
(p∨q∨p)∧(┐r∨p) 求 析(p取∨范q)式∧(┐r∨p) (((交p∨换q律)∧和┐等r幂)∨律p) (p∧┐r)∨(q∧┐r)∨p
求p∧q ∨r的主合取范式
0 0 0 0 解
范
式（-p-∧--q）求∨主（r析1取）范求式 A的析取范式A’
0
0 0 1 0 （1）求A的析取范式A’
任何命题公式的主析取范式都是存在的，并且是唯一的。
0
求命题公式(( p∨q)→r)→p 的主析取范式。
解：((p∨q)→r)→p
p∨(q∧┐r)
N个变元可构成(22n)个若极A小’项的某简单合取式B中不含命题变项
p∧┐q∧r
N个变元可构成2n 个极小项
p
q
r
记 作
0 0 0 m0
0 0 1 m1
0 1 0 m2
0 1 1 m3
1 0 0 m4
1 0 1 m5
1 1 0 m6
1 1 1 m7
范 式 ---- 求主析取范式
p q r 范
范
2.2 析取范式与合取范式ppt课件
如，p, ┐q 等为一个文字构成简单析取式， p∨┐p，┐p∨q 等为2个文字构成的简单析取式， ┐p∨┐q∨r, p∨┐q∨r 等为3个文字构成的简单析取
式.
注意
① 一个文字既是简单析取式，又是简单合取式. ② 为方便起见，有时用 A1, A2 ,L As 表示 s 个简单
析取式或 s 个简单合取式.
(p→q) r ((p∧┐q)∨r)∧(┐p∨q∨┐r) (p∧┐q∧┐p)∨(p∧┐q∧q)∨(p∧┐q∧┐r)
∨(r∧┐p)∨(r∧q)∨(r∧┐r)
(p∧┐q∧┐r)∨(┐p∧r)∨(q∧r)
15
在以上演算中，从第二步到第三步是利用矛盾律 和同一律。另外，第二步和第三步结果都是析取范式， 这正说明命题公式的析取范式是不唯一的。同样，合 取范式也是不唯一的。
37
2．重言式与矛盾式的主合取范式 ① 矛盾式无成真赋值，因而矛盾式的主合取范
式含2n 个极大项. （n为公式中命题变项个数） ② 重言式无成假赋值，因而主合取范式不含任
设 Ai (i 1,2,L , s) 为简单的析取式，则 A A1 A2 L As 为合取范式.
9
2 、范式的性质 定理2.2
（1）一个析取范式是矛盾式当且仅当它的每个简单 合取式都是矛盾式.
（2）一个合取范式是重言式当且仅当它的每个简单 析取式都是重言式.
10
定理2.3 （范式存在定理）任一命题公式都存在 着与之等值的析取范式与合取范式。
例2.8 求公式 (p→q) ↔ r主析取范式和主合取范式.
解:（1）求主析取范式． 在例2.7中已给出的公式的析取范式，即
（p→q）r (p∧┐q∧┐r)∨(┐p∧r)∨(q∧r)
在此析取范式中，简单合取式┐p∧r，q∧r都 不是极小项。下面分别求出它们派生的极小项。
离散数学主析取范式主合取范式
实验二实验题目：生成主析取范式和主合取范式实验目的:1.熟悉地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。
2.掌握命题逻辑中的联接词、真值表、主范式等,进一步能用它们来解决实际问题。
实验内容：利用计算机构造真值表来建立主析取范式和主合取范式实验原理：1.合取：二元命题联结词。
将两个命题P、Q联结起来,构成一个新的命题P ∧Q。
这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P 为真, Q为真时方可P∧Q为真, 而P、Q只要有一为假则P∧Q 为假。
2.析取：二元命题联结词。
将两个命题P、Q联结起来，构成一个新的命题P ∨Q。
这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P为假， Q为假时方可P∨Q为假, 而P、Q只要有一为真则P∨Q为真.3.真值表：表征逻辑事件输入和输出之间全部可能状态的表格.列出命题公式真假值的表。
通常以1表示真，0 表示假。
命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法. 真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。
4。
主析取范式:在含有n个命题变元的简单合取式中，若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次，称该简单合取式为小项。
由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A 的主析取范式。
任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的。
5。
主合取范式:在含有n个命题变元的简单析取式中,若每个命题变元与其否定不同时存在，而两者之一出现一次且仅出现一次,称该简单析取式为大项。
由若干个不同的大项组成的合取式称为主合取范式；与A等价的主合取范式称为A的主合取范式.任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式，并且是惟一的。
析取范式与合取范式教案.ppt
公式 pq pq
pq pq
p,q形成的极小项与极大项
极小项 成真赋值
00 01 10 11
名称
m0 m1 m2 m3
极大项
公式 成假赋值
pq
00
pq 0 1
pq 1 0
pq 1 1
名称
M0 M1 M2 M3
定理2.6 设mi 与Mi是由同一组命题变项形成的极小项和极 大项, 则
mi Mi , Mi mi
最新.课件
26
实例
例1(续) 求(pq)r 的主析取范式与主合取范式
解 (1) (pq)r (pq)r
pq (pq)1
同一律
(pq)(rr)
排中律
ቤተ መጻሕፍቲ ባይዱ (pqr)(pqr)
分配律
m4m5 r (pp)(qq)r
同一律, 排中律
(pqr)(pqr)(pqr)(pqr)
m0 m2 m4 m6
解
p q p q pq (pq) pq (pq)(pq)
00 1 1 0
1
1
1
01 1 0 1
0
0
1
10 0 1 1
0
0
1
11 0 0 1
0
0
1
结论: (pq) (pq)
最新.课件
4
真值表法(续)
例2 判断下述3个公式之间的等值关系:
p(qr), (pq)r, (pq)r 解 p q r p(qr) (pq)r (pq)r
定理2.1 下述联结词集合都是完备集:
(1) S1={, , , , } (2) S2={, , , } (3) S3={, , } (4) S4={, } (5) S5={, } (6) S6={, }
主析取范式的求法
R：我热衷于玩电子游戏。
则符号化为： (P Q) (R P) Q R
设前件(P Q) (R P) Q为1，则P Q为1，
R P为1，Q也为1。所以Q为0。
又P Q为1，故P为0。
而R P也为1，所以R为0。
故R为1， 推 导 有 效 。
定理1- （主合取范式存在惟一定理） 任何命题公式的主合 取范式一定存在，并且惟一。
由真值表方法可知：一个公式的真值为0的真值指派所 对应的大项的合取，即为此公式的主合取范式。
例1- 用真值表方法求 ( p q) r 的主合取范式 解: 公式的真值表如下
PQ R
00 0 00 1 01 0 01 1 10 0 10 1 11 0 11 1
名称
m0 m1 m2 m3 m4 m5 m6 m7
极大项
公式
pqr p q r p q r p q r p q r p q r p q r p q r
成假 赋值
000 001 010 011 100 101 110 111
名称
n个命题变元共有2n个大项，每个大项可表示为n
位二进制编码，以变元自身出现的用0表示，以变元的否 定出现的用1表示；且对应十进制编码。这一点与小项的 表示刚好相反。
若n= 2，则有
M00 p q M0 M10 p q M2
M01 p q M2 M11 p q M3
(2)主合取范式的合取项为大项,用大M加下标表示,如 M010,其中0表示对应的命题变元出现在合取项中,1表 示对应命题变元的否定出现在合取项中。
(3)在真值表中,一个公式的主析取范式由其真值为1的 真值指派所在对应的小项的析取组成。
求主析取范式的方法
求主析取范式的方法求主析取范式是一种用于逻辑推理和数学证明的重要方法。
在逻辑学和数学中，主析取范式（DNF）是一种命题逻辑表达式的标准化形式，可以方便地进行逻辑推理和计算机处理。
本文将介绍求主析取范式的基本原理和方法。
主析取范式是由若干个子句组成的析取式，其中每个子句都是由若干个文字组成的合取式。
在主析取范式中，每个子句都是一个或多个文字的合取，并且各个子句之间是析取关系。
主析取范式的一个重要性质是，任何一个命题逻辑表达式都可以通过一系列等价变换得到对应的主析取范式。
求主析取范式的方法有多种，下面将介绍其中两种常见的方法。
第一种方法是通过真值表法。
真值表法是一种通过列举所有可能的真值赋值，然后根据真值的取值情况来判断该逻辑表达式是否为真的方法。
对于一个给定的逻辑表达式，可以先构造它的真值表，然后根据真值表中为真的赋值情况，将这些赋值对应的文字取反并进行合取操作，最后再将这些子句进行析取操作，得到主析取范式。
第二种方法是通过化简法。
化简法是一种通过逐步简化逻辑表达式的方法，直到得到主析取范式。
其中一种常见的化简法是奎宁-麦克劳林化简法。
该方法通过使用逻辑等价关系和代数运算律，将逻辑表达式逐步转化为主析取范式。
具体步骤包括使用分配律、德·摩根律、吸收律等将逻辑表达式转化为合取范式，然后再使用化简律将合取范式转化为主析取范式。
在实际应用中，求主析取范式的方法可以根据具体问题的需要进行选择。
如果逻辑表达式较为简单，可以通过真值表法直接求解；如果逻辑表达式较为复杂，可以通过化简法进行求解。
此外，还可以使用计算机辅助工具来求解主析取范式，例如使用逻辑推理软件和计算机算法。
求主析取范式是一种重要的逻辑推理和数学证明方法。
通过求主析取范式，可以将逻辑表达式转化为标准化的形式，方便进行逻辑推理和计算机处理。
根据具体问题的需要，可以选择不同的方法来求解主析取范式。
无论是使用真值表法还是化简法，都需要熟练掌握逻辑等价关系和代数运算律，以及使用计算机辅助工具来提高求解效率。
利用等值演算求公式的主析取范式和主合取范式
等值演算是一种逻辑代数的方法，可用于简化布尔代数的表达式。
在逻辑电路设计和计算机科学领域，利用等值演算可以帮助我们求解复杂的布尔函数的主析取范式和主合取范式。
在布尔代数中，一个布尔函数可以表示为一系列输入变量和输出变量的逻辑关系式。
通过布尔代数的运算规则，我们可以对这些逻辑关系式进行等值变换，将其简化为更加简洁的形式。
其中，最重要的简化形式包括主析取范式和主合取范式。
主析取范式是指一个布尔函数的各项按照与或关系相连的形式，其中每一项都是不可简化的极小项。
主析取范式的求解可以帮助我们理解布尔函数的逻辑结构，并为电路的设计提供参考。
主合取范式则是指一个布尔函数的各项按照或与关系相连的形式，其中每一项都是不可简化的极大项。
主合取范式的求解同样可以帮助我们理解布尔函数的逻辑结构，并为电路的设计提供参考。
接下来，我们将通过等值演算的方法，来求解一个布尔函数的主析取范式和主合取范式。
1. 我们需要将布尔函数转换为真值表的形式。
真值表可以清晰地展现出布尔函数在各个输入变量组合下的输出取值情况。
通过真值表的分析，我们可以对布尔函数进行等值变换和化简。
2. 我们利用等值演算的定理和法则，对布尔函数进行等值变换。
其中，包括重要的等值演算定理，如恒等律、吸收律、对偶律等。
通过运用这些定理和法则，我们可以将布尔函数逐步化简为主析取范式和主合取范式的形式。
3. 我们将化简后的布尔函数表示为主析取范式和主合取范式的形式。
主析取范式和主合取范式的求解过程中，需要格外注意每一步等值变换的正确性和合理性，以确保最终得到的主析取范式和主合取范式是布尔函数的最简形式。
通过以上等值演算的步骤和方法，我们可以成功地求解出一个复杂布尔函数的主析取范式和主合取范式。
这些简化后的形式将极大地方便我们对布尔函数的理解和分析，为逻辑电路的设计和优化提供重要的参考依据。
等值演算作为一种重要的逻辑代数方法，在计算机科学和信息技术领域也有着广泛的应用和意义。
(方案)2.2 析取范式与合取范式.ppt.ppt
最新.课件
9
2 、范式的性质
定理2.2 （1）一个析取范式是矛盾式当且仅当它的每个简单 合取式都是矛盾式. （2）一个合取范式是重言式当且仅当它的每个简单 析取式都是重言式.
最新.课件
10
定理2.3 （范式存在定理）任一命题公式都存在 着与之等值的析取范式与合取范式。
证明: (1) 由蕴涵等值式与等价等值式可知
是在利用分配律时有所不同。因而可以用（1）中前 四步的结果，接着进行∧对∨分配律演算。
(p→q) r
((p∧┐q)∨r)∧(┐p∨q∨┐r)
(p∧┐q∧┐p)∨(p∧┐q∧q)∨(p∧┐q∧┐r)
∨(r∧┐p)∨(r∧q)∨(r∧┐r)
(p∧┐q∧┐r)∨(┐p∧r)∨(q∧r)
最新.课件
15
利用∨ 对∧的分配律求合取范式。
注意
为了清晰和无误，演算中利用交换律，使得
每个简单析取式或合取式中命题变项的出现都是
按字典顺序，这对下文中求主范式更为重要.
最新.课件
13
例2.7 求公式 (p→q) ↔ r 的析取范式与合取范式： 解：（1）先求合取范式
(p→q) r (┐p∨q) r
（消去→）
式.
注意
① 一个文字既是简单析取式，又是简单合取式.
② 为方便起见，有时用 A1, A2 , As 表示 s 个简单 析取式或 s 个简单合取式.
最新.课件
4
定理2.1 （1）一个简单析取式是重言式当且仅当它同时含
有某个命题变项及它的否定式; （2）一个简单合取式是矛盾式当且仅当它同时含
有某个命题变项及它的否定式。
第二章 命题逻辑等值运算
第1节 等值式 第2节 析取范式与合取范式 第3节 联结词的完备集
重言式与矛盾式的主析取范式与主合取范式
重言式与矛盾式的主析取范式与主合取范式。
1、先看下列简单的问题：命题公式P→（Q→P）的主合取范式为。
解：根据蕴涵词的意义，当P为假时，P→（Q→P）为真；当P为真时，Q→P为真，因而P→（Q→P）为真，所以P→（Q→P）永远为真，即P→（Q→P）是一个重言式。
P→（Q→P）中总共有两个命题变元P和Q，因而对应有个不同的极大项，每个极大项对应着使得P→（Q→P）为假的一种赋值。
现在P→（Q→P）不可能为假，所以P→（Q→P）的主合取范式中不能含有极大项，因而其主合取范式只能是一个不含极大项的空范式。
我们约定：用1表示重言式的主合取范式。
所以命题公式P→（Q→P）的主合取范式为1。
2、一般地，如果一个命题公式G中共有n个命题变元。
每个变元有真和假两种不同的赋值。
因而G总共有2n种不同的赋值。
对应着每一种赋值，都有一个极小项和极大项，极小项在对应的赋值下为真，极大项在对应的赋值下为假。
如果G正好在m种赋值下为真，在另外的种赋值下为假，那么使得G为真的m种赋值所对应的m个极小项的析取就是G的主析取范式，使得G为假的其他种赋值所对应的个极大项的合取就是G的主合取范式。
如果G是重言式，全部2n种赋值都使得G为真，因而所有的2n个极小项的析取是G的主析取范式。
重言式G的主合取范式不含极大项，是空范式，就用1表示。
如果G是矛盾式，全部2n种赋值都使得G为假，因而所有的2n个极大项的合取是G的主合取范式。
矛盾式G的主析取范式不含极小项，是空范式，就用0表示。
3、P→（Q→P）的主析取范式为由P→（Q→P）对应的所有4个极小项的析取得到。
4、重言式和矛盾式的主析取范式和主合取范式，在教材中没有讲清楚，因而在做有关练习和考试题时，同学们感到茫然。
现在，大家应该清楚了。
这里也进一步明确了用真值表方法求主合取范式和主析取范式的依据和步骤。
主析取范式与主合取范式
第四节 主析取范式与主合取范式n 个命题变项虽然可以构成无穷多个形式各异的命题公式，但就其真值而言，只有22n种。
对应每种真值情况虽然又有无穷多个等值的公式，但这些公式却有相同的标准形式。
本节将给出规范公式的概念，这种规范的公式能表达真值表所能给出的一切信息。
定义4.1 命题变项及其否定统称为文字。
如p ，q ，¬p ，¬q ，L 都是文字，即每个命题变项产生两个文字。
（1）仅由有限个文字构成的合取式称为简单合取式。
（2）仅由有限个文字构成的析取式称为简单析取式。
例如，p ∧q ，p ∧¬q ∧r ，L 都是简单合取式。
p ∨q ， ¬p ∨q ∨r ，L 都是简单析取式。
单个文字既是简单析取式，又是简单合取式。
定义4.2 （1）仅由有限个简单合取式构成的析取式称为析取范式； （2）仅由有限个简单析取式构成的合取式称为合取式。
例如，p ，¬q ，p ∧q ，（p ∧¬q ）∨（p ∧q ），L 都是析取范式。
p ，¬r ，p ∨q ，（p ∨q ）∧（q ∨¬r ），L 都是合取范式。
注意，两个文字构成的简单合取式与析取式都既是析取范式又是合取范式。
例如，p ∨q 是析取范式，它是由两个简单的合取式p 与q 析取而成。
同时它也是合取范式，看成是一个简单析取式构成的合取范式。
定义 4.3 （1）n 个命题变项1p ，2p ，L ，n p （1n ≥）构成的简单合取式中，若每个i p （1,2,,i n =L ）都以文字的形式出现一次且仅出现一次，而且出现在左起的第i 位上，则称它为极小项。
（2）n 个命题变项1p ，2p ，L ，n p （1n ≥）构成的简单析取式中，若每个ip （1,2,,i n =L ）以文字的形式出现一次且仅出现一次，而且出现在左起的第i 位上，则称它为极大项。
两个命题变项p ，q 共可形成4个极小项：¬p ∧¬q ，¬p ∧q ，p ∧¬q ，p ∧q 。
如何求得公式的求主析取和主合取范式
14
主析取范式:一个由不同的极小项之和构成的公式, 叫主析取范式,如果它与给定的命题公式A等价,则称 它是A的主析取范式。
定理(主析取范式存在定理) 任何不为矛盾式的命题公式一定存在着与其等价的 主析取范式。
2016/10/21
15
证 设A为一个不是矛盾式的公式,先求出A的析取范式A,然后再 进行如下的构造性算法：
2016/10/21
二进制数 十进制数 记号mi 0 0 0 0 m0 0 0 1 1 m1 0 1 0 2 m2 0 1 1 3 m3 1 0 0 4 m4 1 0 1 5 m5 1 1 0 6 m6 1 1 1 7 m7
12
一般地,n个变元的极小项是: m0 P1P2P3…Pn m1 P1P2P3…Pn ……… m2n-1 P1P2P3…Pn
2016/10/21
2
定理(范式存在定理) 任何命题公式都存在与之等价的析取范式和合取范式 求范式的构造性算法，其步骤如下：
① 对任何公式A，首先消去、等其它联结词,只保 留联结词、、。常用到公式 P Q P Q ， PQ (PQ)(QP), (PQ)(PQ) (合取范式) (PQ)(PQ) (析取范式)。
①展开 如果A的某基本积B中不含命题变元Pi或其否定Pi,则 将B展开如下: B BT B(PiPi) (BPi)(BPi) ②消去 将重复出现的命题变元(变元否定)、矛盾式、重复出现 的极小项都消去。 (用 PPP, PPF,mimimi)。 ③排序 将极小项按由小到大(或由大到小)顺序排列。 为表达简洁,用∑表极小项的析取。 如 m1m3m5,记成 ∑(1,3,5)
2016/10/21
6
主析取范式和主合取范式
范式为命题公式提供了一种统一的表达形式，给公 式的判定问题提供了一种比较简便的方法。但 ①析取范式和合取范式都不唯一，仍然给研究问题带 来不便; ②对偶然式，公式成真(假)的指派还不是一目了然。
离散数学析取范式与合取范式名师公开课获奖课件百校联赛一等奖课件
例1.19 由( p q) r 旳真值表求其主析取范式.
p q r p q ( p q) r
000 0
0
001 0
0
010 1
0
011 1
1
100 1
0
101 1
1
110 1
0
111 1
1
主析取范式为： m3m5m7
19
作业: P36 17(1)(3)，18(1)，19
20
课堂练习：
(pq)r （消去） pqr （结合律） 这既是A旳析取范式（由3个简朴合取式构成旳 析取式），又是A旳合取范式（由一种简朴析 取式构成旳合取式）
6
(2) B = ( pq)r
解: (pq)r
(pq)r （消去第一种）
(pq)r （消去第二个）
(pq)r
（否定号内移——德摩根律）
这一步已为析取范式（两个简朴合取式构成）
39
作业: P36 18(2)，20(1)
40
100
M4
p q r
101
M5
p q r
110
M6
p q r
111
M7
32
极小项与极大项比较
由p, q两个命题变项形成旳极小项与极大项
极小项 公式 成真
赋值 p q 0 0 p q 0 1
p q 1 0 pq 1 1
名称
m0 m1 m2 m3
极大项 公式 成假
赋值 pq 0 0 p q 0 1 p q 1 0 p q 1 1
（对分配）
(q p)( p r)(q r) （零律,同一律）
8
(2) 求 ( p q) (p r) 旳合取范式。
求命题公式 非(p→q)v非r的主析取范式与合析取范式
求命题公式非(p→q)v非r的主析取范式与
合析取范式
析取范式与合取范式是逻辑学中非常重要的概念，它们用于表达
人类逻辑思维的架构。
析取范式简称为P，合取范式则称为Q。
其中，
析取范式是一种简单的逻辑关系，通常采取“否定前提即断言”的原则，表达“如果P不成立，则Q必成立”的定义。
而合取范式则是一
种复杂的逻辑关系，用于表达“P和Q同时成立，则R必成立”的定义。
非(p→q)v非r是一种析取范式导出的结论，表示“非(p→q)与
非r同时为真”。
这一命题公式可以由一个简单的逻辑演绎推导出来：由已知条件p→q，及q为假，得到p为假，即非p为真；由已知条件
r，及r为假，得到非r为真；根据析取范式的定义，得出非（p→q）
与非r同时为真的结论。
此外，对于非（p→q）v非r的命题公式，也可以采取合取范式
的推导方式来证明，即：如果p→q为真且r为真，则非（p→q）v非
r也必然为真。
由此可以得出，非（p→q）v非r的合取范式也可以用
来表明它与相应的已知条件都具有合乎逻辑的关系。
综上所述，析取范式与合取范式是逻辑学中重要的概念，它们可
以用来推导非（p→q）v非r的命题公式，既可以用析取范式证明，也可以用合取范式证明。
通过认真分析，就可以很好地了解这种混合逻
辑的思路。
因此，深入研究这些基本的逻辑思维模式和构造有利有弊，有其非常重要的意义。
主合取范式和主析取范式求法
主合取范式和主析取范式求法在我们日常生活中，逻辑就像是一根无形的线，把一切串联在一起。
你知道的，逻辑不仅仅是那些严肃的数学公式，也可以是我们日常交流中潜移默化的存在。
说到逻辑，就不得不提到主合取范式和主析取范式了。
听起来有点复杂，其实说白了就是把逻辑表达得更清晰。
别急，咱们慢慢聊聊。
主合取范式，嗯，这个名字一听就觉得有点拗口。
其实呢，就是把逻辑表达成“与”的形式。
想象一下，你在一场聚会上，大家都在聊着自己的事儿。
这时候，你决定说：“好吧，我们来聊聊谁最喜欢吃披萨、喝啤酒、看电影。
”这个时候，你就把几个条件结合起来了，听起来就像是一道很酷的逻辑公式。
在主合取范式中，你只要把这些条件都用“与”连接起来，比如“我喜欢披萨与我喜欢啤酒与我喜欢看电影”，这就是个典型的主合取范式。
主析取范式又是个啥呢？就像个派对上不同的人选择不同的食物一样，主析取范式强调的是“或”的关系。
比如说你在问大家：“你们想吃披萨还是汉堡，还是炸鸡？”这个时候，大家的选择就成了不同的选项。
每个选项都可以单独成一个句子，比如“我喜欢披萨或我喜欢汉堡或我喜欢炸鸡”。
听起来是不是很简单呢？这就是主析取范式，简单明了，直来直去。
怎么从一个复杂的逻辑表达转化成这两种形式呢？咱们可以把这些条件一个一个拆开，慢慢分析。
你得搞清楚逻辑中的每一个命题，像是在解一个拼图。
然后，把这些命题用“与”或者“或”连接起来。
别担心，这个过程就像在做美食，先把材料准备好，然后根据自己的喜好来搭配。
你可以把条件拿出来，像一个厨师一样，看看哪些可以一起炒，哪些可以单独炖。
假设你有几个命题，比如“天气很好”、“有时间去公园”、“带了零食”。
你想把它们转成主合取范式。
简单，直接把它们用“与”连起来，变成“天气很好与有时间去公园与带了零食”。
嘿，这样就完成了！换成主析取范式，只需把每个命题用“或”连接，就可以得到“天气很好或有时间去公园或带了零食”。
这样一来，逻辑就变得清晰又简单了。