若这个析取范式与命题公式A等价.PPT

1.6 对 偶 原 理 定义1.24 在一个仅使用逻辑连接词 ， ， 的命题公式A中，把 和 互换，1和0互换所得到的公式称为A的对偶式，记为A*。 定理1.19 设命题公式A仅使用逻辑连接词 ，它的对偶式为A*，是出现在A和A*中的命题变元，则 （1） （2） 定理1.20（命题代数对偶原理） 设A和B是两个命题公式，它们仅使用逻辑连接词 ，则 （1）如果 ，那么 。 （2）如果 ，那么 。 1.3.3 利用真值表求解标准范式 定理1.8 最小项具有如下性质。 （1）对每个最小项而言，只有与下标编码相同的赋值是成真赋值，其余都是成假赋值。 （2）任意两个不同的最小项的合取式是永假式。 （3）全体最小项的析取式是永真式。 定理1.9 最大项具有如下性质。 （1）对每个最大项而言，只有与下标编码相同的赋值是成假赋值，其余都是成真赋值。 （2）任意两个不同的最大项的析取式是永真式。 （3）全体最大项的合取式是永假式。 定理1.10 在命题公式A的真值表中，所有成真赋值对应的最小项的析取式（按最小项下标递增排序）为公式A的惟一标准析取范式。 定理1.11 在命题公式A的真值表中，所有成假赋值对应的最大项的合取式（按最大项下标递增排序）为公式A的惟一标准合取范式。 p q r p?q (p?q)?r 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 表1.16 (p?q)?r的真值表 p q r p?q (p?q)?r 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 表1.17 (p?q)?r的真值表 定理1.12 设是含有命题变元的命题公式，则 （1）A是永真式当且仅当A的标准析取范式含有全部2〞个最小项。 （2）A是永假式当且仅当A的标准析取范式不含任何最小项（即标准析取范式为0）。 （3）A是可满足式当且仅当A的标准析取范式至少含有一个最小项。 定理1.13 设是含有命题变元的命题公式，则 （1）A是永假式当且仅当A的标准合取范式含有全部2〞个最大项。 （2）A是永真式当且仅当A的标准合取范式不含任何最大项（即标准合取范式为1）。 （3）A是可满足式当且仅当A的标准合取范式不包含所有最大项。 这两个定理可以根据前面的定理1.8和定理1.9得到，具体证明留给读者。 1.4 逻辑连接词完备集 定义1.17 称从集合 到集合 的函数为n元真值函数。 表1.18 1元真值函数 表1.19 2元真值函数 定义1.18 设p和q是命题，用p q表示这样一个复合命题：当p和q都取真时它为假，否则它为真。 称为与非词，p q称为p和q的与非式，读作“p与非q”。 定义1.19 设p和q是命题，用p q表示这样一个复合命题：当p和q都取假时它为真，否则它为假。 称为或非词，p q称为p和q的或非式，读作“p或非q”。 定义1.20 设p和q是命题，用p q表示这样一个复合命题：当p为真而q为假时它为真，否则它为假。 称为蕴涵否定词，p q 称为p与q的蕴涵否定式，读作“p蕴涵否定q”。 定义1.21 设p和q是命题，用 表示这样一个复合命题：当p和q取相同值时它为假，否则它为真。 称为异或词， 称为p和q的异或式，读作“p异或q”。 p q p?q p?q 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 表1.20 与非词?、或非词?、蕴涵否定 、异或词 的真值 定义1.22 设是一个逻辑连接词集合，如果任何n元真值函数都可以由仅含S中的连接词构成的命题公式表示，则称S是逻辑连接词完备集。 1.5 命题公式的推理演算 定义1.23 设 和B都是命题公式，如果对任何赋值，当 都取值1时，B必取值1，则称由前提 到结论B的推理是有效的（正确的），或者称B是前提 的逻辑结论（有效结论），记为 （ ）。 p