离散数学 02.04 范式

$\color{blue}{\S 2.4 范式}$

在命题逻辑中，对于含有有限个原子的命题公式来说，用真值表的方法，总可以在有限的步骤内确定它的真值，因此判定问题总是可解的。但是我们知道，这种方法并不理想，因为公式每增加一个原子，真值表的行数就增加一倍。为了给出另外一种方法，我们将介绍命题公式的一种标准形式，即范式，两个命题公式是否等价及一个公式是否恒假(或恒真)的判定，都将由公式的范式来解决。

$定义2.4.1.原子或原子的否定称为文字。例如，P, \lnot P是文字。$
$定义2.4.2.有限个文字的析取式称为一个子句；有限个文字的合取式称为一个短语。$
$特别，一个文字既可称为一个子句，也可称为一个短语。$
$例如，P, P \lor Q, \lnot P \lor Q是子句；P, P \land Q, \lnot P \land \lnot Q是短语。$

$定义2.4.3. 有限个短语的析取式称为{\color{blue}{析取范式}}；有限个子句的合取式称为{\color{blue}{合取范式}}。$
$特别，一个文字即可称为是一个合取范式，也可称为是一个析取范式。\\ 一个子句，一个短语即可看作是合取范式，也可以看作是析取范式。$
$例如，P, P \land Q, P \lor Q, (P \land Q) \lor(\lnot P \land \lnot Q) 是析取范式。$
$P, P \land Q, P \lor Q, (P \lor Q) \land (\lnot P \lor R)是合取范式。$

$定理2.4.1.对于任意命题公式，都存在等价于它的析取范式和合取范式。$
$证：对于公式G，通过如下算法即可得出等价于G的范式：\\ 步1.使用基本等价式，将G中的逻辑联结词\to, \leftrightarrow 删除。\\ 步2.使用\lnot(\lnot H) = H和De Morgan律，将G中所有的否定号\lnot都放在原子之前。\\ 步3.反复使用分配律，即可得到等价于G的方式。$

$例如，G = (P \land (Q \to R)) \to S \\ = \lnot(P \land (\lnot Q \lor R)) \lor S \\ = \lnot P \lor \lnot (\lnot Q \lor R) \lor S \\ = \lnot P \lor (Q \land \lnot R) \lor S (析取范式) \\ = \lnot P \lor (Q \land \lnot R) \lor (S \land (Q \lor \lnot Q)) \\ = \lnot P \lor (Q \land \lnot R) \lor (S \land Q) \lor (S \land \lnot Q) (析取范式) \\ =(\lnot P \lor S) \lor (Q \land \lnot R) \\ =(\lnot P \lor S \lor Q) \land (\lnot P \lor S \lor \lnot R) (合取范式)$
$显然，给出一个公式G， 它的范式式是不唯一的，能否有唯一的标准形式呢？\\ 有，这就是下面将要引进的主范式的概念。$

$定义2.4.4.设P_1, \cdots, P_n是n个不同原子，一个短语如果恰好包含所有这n个\\ 原子或其否定，其排列顺序与P_1, \cdots, P_n的顺序一致，则称此短语为关于P_1,\\ \cdots, P_n的一个极小项。\\ 显然，共有2^n个不同的极小项。例如，对原子P,Q,R而言，P \land \lnot Q \land R, \\ P \land Q \land \lnot R, P \land Q \land R都是极小项，但是，P，\lnot P \land Q不是极小项，\\ 而\lnot P \land Q对原子P，Q而言是极小项。显然，对于n个原子P_1, \cdots, P_n而言，\\ 其不同的解释共有2^n个，对于P_1,\cdots, P_n的任一个极小项m,2^n个解释中，有\\ 且只有一个解释使m取1值。$

$例如，对P，Q，R而言，\lnot P \land Q \land \lnot R 是极小项，解释\lbrace \lnot P, Q, \lnot R \rbrace使\\ 该极小项取1值，其它解释都使该极小项取0值。如果将真值1，0看做是数，\\ 则每一个解释对应一个n位二进制数。\\ 假设使极小项m取1值的解释对应的二进制数位i，将m记为m_i。\\ 例如，对P，Q，R而言，\lnot P \land Q \land \lnot R是极小项，解释(0,1,0)使该极小项\\ 取1值，解释(0,1,0)对应的二进制数是2，于是\lnot P \land Q \land \lnot R记为m_2。对P，\\ Q，R而言，8个极小项与其对应的解释如下：$

极小项	解释	记法
$\lnot P \land \lnot Q \land \lnot R$	$0\ 0\ 0$	$m_0$
$\lnot P \land \lnot Q \land R$	$0\ 0\ 1$	$m_1$
$\lnot P \land Q \land \lnot R$	$0\ 1\ 0$	$m_2$
$\lnot P \land Q \land R$	$0\ 1\ 1$	$m_3$
$P \land \lnot Q \land \lnot R$	$1\ 0\ 0$	$m_4$
$P \land \lnot Q \land R$	$1\ 0\ 1$	$m_5$
$P \land Q \land \lnot R$	$1\ 1\ 0$	$m_6$
$P \land Q \land R$	$1\ 1\ 1$	$m_7$

$因此，一般地，对P_1, \cdots, P_n而言，2^n个极小项为m_0, m_1, m_2, \cdots, m_{2^n-1}。$

$定义2.4.5.设命题公式G中所有不同原子为P_1, \cdots, P_n, 如果G的某个析取范式\\ G^{\prime}中的每一个短语，都是关于P_1, \cdots, P_n的一个极小项，则称G^{\prime}为G的主析取\\ 范式。恒假公式的主析取范式用0表示。$

$定理2.4.2.对于命题公式G，都存在等价于它的主析取范式。$
$证：由定理2.4.1知，存在析取范式G^{\prime},使得G = G^{\prime}。\\ 设G中所有不同原子为P_1, \cdots, P_n,对于G^{\prime}中每一个短语G_i^{\prime}进行检查，\\ 如果G_i^{\prime}不是关于P_1, \cdots, P_n的极小项，\\ 则G_i^{\prime}中必然缺少原子P_{j1}, \cdots, P_{jk}。因为\\ G_i^{\prime} = G_i^{\prime} \land (P_{j1} \lor \lnot P_{j1}) \land \cdots \land (P_{jk} \lor \lnot P_{jk}) \\ = m_{i_1} \lor \cdots \lor m_{i_{2^k}} \\ 于是将G^{\prime}中非极小项G_i^{\prime}化成了一些极小项之析取。\\ 对G^{\prime}中其它非极小项也做如上处理，\\ 最后得等价于G的主析取范式G*。$
$定理2.4.5的证明中，实际上给出了求公式的主析取范式的方法$

$例如，\\ G = \lnot (R \to P) \lor (Q \land (P \lor R)) \\ = \lnot (\lnot R \lor P) \lor (Q \land P) \lor (Q \land R) \\ = (\lnot P \land R) \lor (Q \land P) \lor (Q \land R) \\ = ((\lnot P \land R) \land (\lnot Q \lor Q)) \lor (( Q \land P) \land (\lnot R \lor R)) \lor ((Q \land R) \land (\lnot P \lor P)) \\ = (\lnot P \land Q \land R) \lor (\lnot P \land \lnot Q \land R) \lor (P \land Q \land R) \lor (P \land Q \land \lnot R)$
$寻找与公式等价的主析取范式，也可以通过真值表来做。$
$例如，公式G = (P \land Q) \lor (\lnot P \land R) \lor (Q \land R)$

P	Q	R	G
0	0	0	0
0	0	1	1
0	1	0	0
0	1	1	1
1	0	0	0
1	0	1	0
1	1	0	1
1	1	1	1

$于是，G的主析取范式为(\lnot P \land \lnot Q \land R) \lor (\lnot P \land Q \land R) \lor (P \land Q \land \lnot R) \lor (P \land Q \land R)$

$下面我们来证明这种方法的正确性。对于公式G，用这种方法写出主析取方式\\ G^{\prime}，若解释I使G取1值，而在I下取1值的唯一极小项写在G^{\prime}中，故G^{\prime}也取1\\ 值，若I使G取0值，而在I下取1的唯一极小项不在G^{\prime}中且I弄假其它所有极小\\ 项，故G^{\prime}取0值，所以G^{\prime}是与G等价的主析取范式。$

$定理2.4.3.设公式G，H是关于原子P_1, \cdots, P_n的两个主析取范式。\\ 如果G，H不完全相同，则G，H不等价。$
$证：因为G，H不完全相同，所以或者G中有一个极小项不在H中；\\ 或者反之。不妨设极小项m_i在G中而不在H中。于是根据极小项的性质，\\ 二进制数i所对应的关系P_1, \cdots, P_n的解释I_i使m_i取1值，从而使公式G\\ 取1值。I_i使所有不是m_i的极小项取0值，从而使公式H取0值。故G，H\\ 不等价。$

$定理2.4.4.对于任意公式G，存在唯一一个与G等价的主析取范式。$

$\color{blue}{2.4.3 恒真恒假性的判定}$

$引理：短语是恒假的当且仅当至少有一个原子及其否定(也称互补对)同时在此短语中出现。$
$证明：充分性，若有一个原子P及其否定\lnot P同时出现在短语中，\\ 则此短语有形式：\\ P \land \lnot P \land \cdots \\ 显然，不管是什么解释I,P \land \lnot P 在I下取0值，于是此短语在I下取0值，\\ 故此短语恒假。\\ 必要性，若短语恒假，而任意原子及其否定均不同时在短语中出现。\\ 那么，取这样的解释I:指定带有否定号的原子取0值，不带否定号的原子取1值，\\ 显然，此短语在这个解释I下取1值，与此短语恒假矛盾。$

$定理2.4.5.命题公式G是恒假的当且仅当在等价于它的析取范式中，\\ 每个短语均至少包含一个原子及其否定。$
$证：设G的析取范式如下：\\ G = G_1 \lor \cdots \lor G_n \\ 其中G_i是短语，I = 1, \cdots, n。\\ 公式G恒假的充要条件是每个G_i恒假。在根据引理，此定理结论成立。$

$例2.4.1.判定公式 G = (P \to Q) \land (Q \to R) \land (R \to P) 是否恒假？$
$解：G = (P \to Q) \land (Q \to R) \land (R \to P) \\ = (\lnot P \lor Q) \land (\lnot Q \lor R) \land (\lnot R \lor P) \\ = ((\lnot P \land \lnot Q) \lor (Q \land \lnot Q) \lor (\lnot P \land R) \lor (Q \land R)) \land (\lnot R \lor P) \\ = (\lnot P \land \lnot Q \land \lnot R) \lor (Q \land \lnot Q \land \lnot R) \lor (\lnot P \land R \land \lnot R) \lor (Q \land R \land \lnot R) \lor (\lnot P \land \lnot Q \land P) \lor (Q \land \lnot Q \land P) \lor (\lnot P \land R \land P) \lor (Q \land R \land P) \\ 故公式G不是恒假的。$

$例2.4.2.判定公式G = (P \to Q) \land P \land \lnot Q是否恒假？$
$解：G = (P \to Q) \land P \land \lnot Q \\ = (\lnot P \lor Q) \land P \land \lnot Q \\ =(\lnot P \land P \land \lnot Q) \lor (Q \land P \land \lnot Q) \\ 故公式G是恒假的。$

$我们还可以使用下列两种方法解决判定问题：$
$1.把公式化成主析取范式，公式恒假时，主析取范式没有极小项；\\ 公式恒真时，主析取范式有全部极小项。$
$2.一种判定算法：\\ 对任给要判定的命题公式G，设其中有原子P_1, P_2, \cdots, P_n,令P_1取1值，\\ 求G的真值，或为1，或为0，或称为新公式G_1且其中只有原子P_2, \cdots, \\ P_n,再令P_1取0值，求G真值，如此继续，到最终只含0或1为止，若最终\\ 结果全为1，则公式G恒真，若最终结果全为0，则公式G恒假，若最终结\\ 果有1，有0，则是可满足的。$

$例2.4.3.判定此公式的恒真恒假：(P \land Q \to R) \land (P \to Q) \to (P \to R)$
$解:\\ (P \land Q \to R) \land (P \to Q) \to (P \to R) \\ \qquad P取1值 \swarrow \quad \searrow P取0值 \\ (Q \to R) \land Q \to R \qquad 1 \\ \qquad Q取1值 \swarrow \quad \searrow Q取0值 \\ \qquad \quad R \to R \qquad 1 \\ R取1值 \swarrow \quad \searrow R取0值 \\ \qquad \quad 1 \qquad \quad 1 \\ 所以，此公式是恒真的。$