《逻辑蕴涵式.pptVIP

* * 求主析取范式的等值演算法 例9 用等值推演法求(P∧(Q?R)) ∨?(P∨Q∨R)的主析 取范式。 解：(P∧(Q?R))∨?(P∨Q∨R) ＝(P∧((Q∧R)∨(?Q∧?R)))∨(?P∧?Q∧?R) ＝(P∧Q∧R)∨(P∧?Q∧?R)∨(?P∧?Q∧?R) ＝(?P∧?Q∧?R)∨(P∧?Q∧?R)∨(P∧Q∧R) ＝m000∨m100∨m111 (分配律,排序整理) ＝∑0,4,7 . (联词化归,否定深入) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * 求主析取范式的等值演算法 例10 用等值推演法求P∧(Q→R)的主析取范式。 解：＝P∧(?Q∨R) ＝(P∧?Q)∨(P∧R) ＝(P∧?Q∧(R∨?R))∨(P∧(Q∨?Q)∧R)(补缺) ＝(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧Q∧R)∨(P∧?Q∧R) ＝(P∧?Q∧?R)∨(P∧?Q∧R)∨(P∧Q∧R) ＝m100∨m101∨m111＝∑4,5,7 . (交换,等幂,整理次序) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * 主合取范式 2. 主合取范式 ① 布尔大项的概念 定义：在含有n个命题变元的简单析取式中, 若每个命题变元及其否定二者之一都出现一次且仅出现一次,则称该简单析取式为布尔大项. 显n个命题变元共有布尔大项2n个. 例11.试给出三个命题变元(P,Q,R)的布尔大项？ ?P∨?Q∨?R； ?P∨?Q∨R； ?P∨Q∨?R； ?P∨Q∨R； P∨?Q∨?R； P∨?Q∨R； P∨Q∨?R； P∨Q∨R. 其编码分别是：111,110,101,100,011,010,001和000 (变元编0,变元的否定编1,与小项相反) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * 布尔大项 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * ①在条件逻辑联词的定义真值表中,如果不发生第二行的情况,即当前件取真时后件必取真，条件命题公式必为永真式。 ②在条件逻辑联词的定义真值表中, 不发生第二行的情况, 也可以是后 件取假时前件必为假的情形 * 因为每增加一个命题变元,真值表行的数目就比原来翻一翻,计算量就增加一倍.所以, * 命题公式(?P∧Q∧P)∨?(?P∧Q∧P)是永真式 其对偶式(?P∨Q∨P)∧?(?P∨Q∨P)是永假式. * .为此,有顺口流可用：公式A求或范式, 真值表中只看1, 见1行上取小项, 析取它们即所求。 * .为此,有顺口流可用：公式A求与范式, 真值表中只看0, 见0行上取大项, 合取它们即所求。 * (P∨Q∨?R)∧(P∨?Q∨R)∧(P∨?Q∨?R)∧ (?P∨Q∨?R)∧(?P∨?Q∨R)＝Π1,2,3,5,6 .(分配) * 4. 主范式的应用 利用主范式可以求解命题公式的判定问题和证明命题公式的逻辑等值。 根据主范式的定义和定理, 也可以判定含n个命题变元的命题公式,方法是求出要判定公式的主范式,并按以下规则判定之： * * 逻辑蕴涵式 蕴涵式 定义 设A和B是两个命题公式,若A?B是永真式,则称A蕴涵 B,记为A?B，并称A?B为逻辑蕴涵式或永真条件式 定理 A?B当且仅当A?B是永真式 性质 ① 自反性: 即对任意公式A,有A?A； ② 传递性: 即对任意公式A,B和C,若A?B且B?C, 则A?C； ③ 后件可乘性:即对任意公式A,B和C,如果A?B且 A?C,那么A?(B∧C)； ④ 前件可加性:即对任意公式A,B和C,若A?C,B?C, 则A∨