逻辑蕴涵式.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 . (联词化归,否定深入) * * 求主析取范式的等值演算法 例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 . (交换,等幂,整理次序) * * 主合取范式 2. 主合取范式 ① 布尔大项的概念 定义：在含有n个命题变元的简单析取式中, 若每个命题变元及其否定二者之一都出现一次且仅出现一次,则称该简单析取式为布尔大项. 显n个命题变元共有布尔大项2n个. 例11.试给出三