[工学]第一章 命题逻辑-3rd.pptVIP

主合取范式 主合取范式和真值表的关系： 右图为 对应的真值表： 极大项 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 30/36 与极小项联系？ 极小项和极大项的关系 极小项 和极大项 有下列的关系 ： 31/36 由合取（析取）范式求主析取（合取）范式 二者可以互相转化 已知公式A的主合取范式为： 求主析取范式。 解： A的主合取范式为M1ΛM3，可知A的主析取范式为 于是可直接写出A的主析取范式 32/36 主析取范式和主合取范式 一个命题公式是永真式，它的命题变元的所有极小项均出现在其主析取范式中，不存在与其等价的主合取范式 ； 一个命题公式是永假式，它的命题变元的所有极大项均出现在其主合取范式中，不存在与其等价的主析取范式； 一个命题公式是可满足的，它既有与其等价的主析取范式，也有与其等价的主合取范式． 33/36 主析取范式和主合取范式 34/36 例:求下列公式的主范式： （P??Q)??R 解：（P??Q)??R ? ?(?P ? ?Q )??R ?(P?Q)??R ?(P ??R) ?(Q ??R) ?(P??R?(Q??Q))?(Q ??R ?(P??P)) ?(P?Q??R)?(P??Q ??R))?(P?Q??R)?(?P?Q??R ) ??M1,3,5 /*其中?表示求合取*/ ??m0,2,4,6,7 /*即该公式是可满足的，应存在与其等价的主析取范式*/ 主析取范式和主合取范式 例：求下列命题公式的主范式： （P ??Q ?R）?（? P ? Q ? ? S） 解： （P ??Q ?R）?（? P ? Q ? ? S） ?（P??Q?R?S）?（P??Q?R??S） ?（?P?Q?R??S）?（?P?Q??R??S） ??m11,10,6,4/*这里?代表析取*/ ? ?M0，1，2，3，5，7，8，9，10，12，13，14，15 从上面的解题过程中我们可以看出，如果与一个命题公式等价的一种主范式一经求出，另一种形式立刻可以得出，除非是永真（或永假）式。 35/36 作业 P15: 4 P21: 1(1) P21: 2(1, 2,3) 36/36 10 11 把合取称为积，把析取称为和。 19 极小项的三个性质： 1，没有两个不同的极小项是等价的，每个极小项只有一个真值指派； 2，任意两个不同极小项的合取必为假； 3，所有极小项的析取必为真。 24 使命题公式取值为T的每一组变元的真值指派也使同行上的极小项取值为T。如果我们把这些极小项析取起来显然它应该和命题公式是等价的。 使命题公式取值为F的那些组命题变元所对应的极小项对公式是不起作用的 如果命题公式是永真式，则对应于命题变元的所有极小项应在其主析取范式中全部出现。 如果所给命题公式是永假式，则它不存在主析取范式。 26 30 使公式取F(即0)的那些真值指派也必然使同行上对应的极大项取F值，把所有这些极大项合取起来当然应和命题公式等价。 略去使命题公式取T(即1)值的极大项是因为合取上T还等价于原来的命题。 如果命题公式是永假式，则对应于命题变元的所有极大项应在其主合取范式中全部出现。 如果所给命题公式是永真式，则它不存在主合取范式。 离散数学 第一章 命题逻辑 回顾 命题变元 合式公式 重言式—永真式 矛盾式—永假式 永真蕴含式 代入规则 替换规则 常用逻辑恒等式（30） 常用永真蕴含式（16） 2/36 1.5对偶原理 定义： 注意:求对偶式并不要求将“非”变原，而且对偶式是相互的。 举例： 求 的对偶式 求 的对偶式 3/36 对偶原理 定理1.5-1 ： 证明： 由德?摩根律 可知，对公式A求否定，直到?深入到命题变元之前位置，在这个过程中，所有的?变?， ?变 ?，T变F，F变T。得证1。 4/36 对偶原理 定理1.5-2: 证明： 意味着 永真 于是有 永真 由定理1.5-1知，下式也永真 利用带入规则，以 取代 Pi ，得 永真 5/36 对偶原理 例： 证明：设 则 由于， 因此， 6/36 对偶原理 试证明： 7/36 对偶原理 试证明： 8/36 对偶原理 9/3