离散数学学习笔记— —范式

直接正文走起

 

参考教材：《离散数学》屈婉玲。

一、范式

1.由有限个基本积构成的析取式，称为析取范式；

设Ai（i=1，2，……，s）为基本积，则

                ……

为析取范式。其中，Ai(i=1,2……,s)是简单的合取式。

2.由有限个基本和构成的合取式，称为合取范式。

类似的，设Bj（j=1,2……j）为基本和，则

                Bj=B1……Bt

为合取范式。其中，Bj（j=1,2……j）是简单的析取式。

3.析取范式和合取范式统称为范式。

对于任何一个命题公式，求它的合取范式（或析取范式），可以通过以下步骤完成：

1）将命题公式中的联结词化归成；

2）利用德摩根律将否定符号直接移到各命题变元之前；

3）利用分配律、结合律将命题公式化为合取范式（或析取范式）。

  ！！！注意：最小的联结词完备集：只要含有{,}或{，}。例如：{，}、{↑}、{↓}。

例1.20：求公式（P）的合取范式与析取范式。

解 我们有

        （P）  (PQ)R PQR，

记A1=PQR，则A1为所求的合取范式。记，B1=P，B2=Q，B3=R，

则B1B3为所求的析取范式。

例1.21：求公式（PQ）R的主析取范式和主合取范式。

解 先求主析取范式，我们有

（PQ）R（（PQ）(PQ）)R

                        （(PQ）PQ）R

                        （PQ）（PQ）R.

上式最后得到的是析取范式，其中基本积PQ、PQ、R均不为极小项，而此公式含有三个命题变元。由于，

 PQ（ PQ）（RR）         利用分配律

            （PQR）（PQR）

            m100m101，

 PQ PQ（RR）

             （PQR）（PQR）

            m010 m011，

          R（PP）（QQ）R          利用分配律

            （PQR）（ PQ ​​​​​​​ R)（PQR）（PQR）   成真赋值

            m001m101m011m111，

因此，

（PQ）R  m100m101 m010 m011m001m111

                         m1m2m3m4m5m7

                         （1,2,3,4,5,7）。     主析取范式中的每一个Ai（i=1,2，……）均为成真赋值，对立面为成假赋值。即算出主析取范式之后，就可以直接写出主合取范式为（0,6）。因为赋值只有从000--111，进制转换后即为0--7这几个赋值情况。

再求主合取范式：

 （PQ）R （PQ）（PQ）R

                           （PQR）（PQ R）        成假赋值

                           M000M110

                           M0M6

                          （0,6）。

 例：含有3个命题变项的命题公式的主合取范式为M0M2M7，则它的主析取范式为（        ）（用表示）。

解  （1,3,4,5,6）

例：下面的联结词集合不是完备集的是（        ）。

解  C

A.{↑}

B.{↓}

C.{}

D.{,​​​​​​​}

————————————————————

如有不妥之处，欢迎大家指正哦！！！