数理逻辑（离散数学）学习笔记（6）

主范式

命题公式的主范式包括主析取范式和主合取范式两种。
【定义1.17】在含有$n$个文字的简单合取式中，若每个命题符号和其否定不同时存在，而二者之一必须出现且只出现一次，且第i个命题变元或其否定出现在从左边算起的第i个位置（若命题变元无下标，则按字典顺序排列），这样的简单合取式称为极小项 。
【定义1.18】若析取范式中的简单合取式都是极小项，则称该析取方式为主析取范式。
[例]请说明$x\wedge (\neg x\vee y)<=>(x\wedge \neg x)\vee (x\wedge y)$是否为主析取范式。
解：首先公式中含有两个变元(x,y)，则其析取范式中的每个简单合取式（包括(x∧¬x)、(x∧y)）中必须满足：①、每个命题符号和其否定不能同时存在，(x∧¬x)不满足这一点，(x∧y)满足；②、每个命题符号或其否定中的一个必须出现且只能出现一次， (x∧¬x)不满足这一点，(x∧y)满足；③、第i个命题变元或其否定出现在从左边算起的第i个位置上。由于字典序为x、y，所以从左边起第一个只能是x或¬x，第二个只能是y或¬y。 (x∧¬x)不满足这一点，(x∧y)满足。综上可得上式不满足。证毕。
可以列举出全体极小项为：
$m_{00...00}=\neg x_1\wedge \neg x_2\wedge ...\wedge \neg x_i\wedge ...\wedge \neg x_n$
$m_{00...01}=x_1\wedge \neg x_2\wedge ...\wedge \neg x_i\wedge ...\wedge \neg x_n$
$m_{00...10}=\neg x_1\wedge x_2\wedge ...\wedge \neg x_i\wedge ...\wedge \neg x_n$
$...$
$m_{11...11}=x_1\wedge x_2\wedge ...\wedge x_i\wedge ...\wedge x_n$
故，共有$2^n$个极小项（$n$为命题变元的个数$\neg x_1与x_1$算一个）。
任意的公式A都可以由其对应的极小项来表示：$A<=>{\gamma }_0{m}_0\vee {\gamma }_1{m}_1\vee {\gamma }_2{m}_2\vee {\gamma }_3{m}_3\vee ...\vee {\gamma }_{2^n-1}{m}_{2^n-1},其中{\gamma }_i取0或1。m_i对应与上面的全体极小项中二进制下标对应相等的一项$故，可以由公式A的真值表和A对命题变元所确定的全体极小项来求出${\gamma }_i$的值，从而实现公式A的主析取范式化。
[例]

$x_1,x_2,...,x_n$	$A=f(x_1,x_2,...,x_n)$	${\gamma }_i$
$0,0,...0$	1	${\gamma }_0=1$
$1,0,...0$	0	${\gamma }_1=0$
$...$	1	${\gamma }_i=1$
$1,1,...1$	1	${\gamma }_{n-1}=1$

故$A<=>m_0+m_i+m_{n-1}$
到这里我才真正的感受到了数理逻辑的魅力，是不是很牛逼！！你觉得呢？？
【定理1.10】任何含$n$个变元的非矛盾式的命题公式都存在唯一的与之等值的主析取范式。
生成一个公式的主析取范式的算法如下：
（1）先求出该公式的一个析取范式。
（2）如果该析取范式的某个简单合取式A中既不含有某个命题符号$x$，也不含有$\neg x$，则该简单合取式变为如下形式：$(A\wedge x)\vee (A\wedge \neg x)$。这样做的正确性由等值式(E6)和(E13)保证（数理逻辑（离散数学）学习笔记（2）的【定理1.2】）。
（3）消除重复出现的命题变元或命题变元的否定，矛盾式及重复出现的极小项，并将每个极小项的命题符号或其否定按下标顺序或字典顺序排列。
[例]求$(\neg x\to y)\wedge (x\to z)$的主析取范式。
方法一：
step1:先化为析取范式:
$(\neg x\to y)\wedge (x\to z)<=>(y\wedge \neg x)\vee (x\wedge z)\vee (y\wedge z)$
step2:判断是否为主析取范式，不是则变为主析取范式
式中共有三个变元，所以器每个几下想都应该含有且仅含有一次这三个变元或其否定。故step1中得到的不是主析取范式。
$(y\wedge \neg x)<=>(y\wedge \neg x\wedge \neg z)\vee (y\wedge \neg x\wedge z).......①$
$(x\wedge z)<=>(y\wedge x\wedge z)\vee (\neg y\wedge x\wedge z)..............②$
$(y\wedge z)<=>(y\wedge x\wedge z)\vee (y\wedge \neg x\wedge z)..............③$
step3:将step2中重复出现的极小项只取一次，且按照字典序放置每一个变元。然后形成主析取范式。
在step2中，将重复出现的极小项只取一次，且按照字典序放置每一个变元。
$(\neg x\to y)\wedge (x\to z)<=>(\neg x\wedge y\wedge \neg z)\vee (\neg x\wedge y\wedge z)\vee (x\wedge y\wedge z)\vee (x\wedge \neg y\wedge z).....结束$
方法二：
真值表技术

$x$	$y$	$z$	$(\neg x\to y)\wedge (x\to z)$	${\gamma }_i$	$m_i$
0	0	0	0	${\gamma }_{000}=0$	$m_{000}$
1	0	0	0	${\gamma }_{100}=0$	$m_{100}$
0	1	0	1	${\gamma }_{010}=1$	$m_{010}$
1	1	0	0	${\gamma }_{110}=0$	$m_{110}$
0	0	1	0	${\gamma }_{001}=0$	$m_{001}$
1	0	1	1	${\gamma }_{101}=1$	$m_{101}$
0	1	1	1	${\gamma }_{011}=1$	$m_{011}$
1	1	1	1	${\gamma }_{111}=1$	$m_{111}$

由真值表可得：$A={\gamma }_{000}{m}_{000}\vee {\gamma }_{100}{m}_{100}\vee {\gamma }_{010}{m}_{010}\vee {\gamma }_{001}{m}_{001}\vee {\gamma }_{101}{m}_{101}\vee {\gamma }_{011}{m}_{011}\vee {\gamma }_{111}{m}_{111}$
将真值表的${\gamma }_i$值代入得：$(\neg x\to y)\wedge (x\to z)<=>(\neg x\wedge y\wedge \neg z)\vee (\neg x\wedge y\wedge z)\vee (x\wedge y\wedge z)\vee (x\wedge \neg y\wedge z).....结束$
【定义1.19】在含有$n$个文字的简单析取式中，若每个命题符号和其否定不同时存在，而二者之一必须出现且只出现一次，且第$i$个命题变元或者否定出现在从左边算起的第$i$个位置上（若命题变元无下标，则按照字典序排列），这样的简单析取式称为极大项。
【定理1.11】任何含有$n$个变元的非重言式（永真式）的命题公式都存在唯一的与之等值的主合取范式。
全体极大项为：
$M_{11...11}=\neg x_1\vee \neg x_2\vee ...\vee \neg x_i\vee ...\vee \neg x_n$
$M_{11...10}=x_1\vee \neg x_2\vee ...\vee \neg x_i\vee ...\vee \neg x_n$
$M_{11...01}=\neg x_1\vee x_2\vee ...\vee \neg x_i\vee ...\vee \neg x_n$
$...$
$M_{00...00}=x_1\vee x_2\vee ...\vee x_i\vee ...\vee x_n$
共有$2^n$个极大项。
【定义1.20】若取合取范式中的简单析取式都是极大项，则称该合取式为主合取范式。
利用基本等值式求一个公式的主合取范式的步骤：
（1）先求出该公式的合取范式
（2）如果该合取范式的某个简单析取式A中既不含有某个命题符号也不含有其否定，则该简单析取式变为如下形式：$(A\vee x)\wedge (A\vee \neg x)$
（3）消除重复出现的命题变元或命题变元的否定、重言式和重复出现的极大项，并将每个极大项的命题符号或者其否定按下标顺序或字典序排列。
[例]试依据下表所示的真值表，求出命题公式A的主析取范式和主合取范式。

$x$	$y$	A
0	0	1
0	1	0
1	0	0
1	1	1

解：求主析取范式：
$m_{00}=\neg x\wedge \neg y$
$m_{01}=\neg x\wedge y$
$m_{10}=x\wedge \neg y$
$m_{11}=x\wedge y$
故，有上表可得$A<=>(\neg x\wedge \neg y)\vee (x\wedge y)$
求主合取范式：
$M_{00}=x\vee y$
$M_{01}=x\vee \neg y$
$M_{10}=\neg x\vee y$
$M_{11}=\neg x\vee \neg y$
故，由上表可得$A<=>(x\vee \neg y)\wedge (\neg x\vee y)$