离散数学第一章命题演算基础-范式与其应用.ppt

* 如果问两句话，而且回答一真一假，但可以对于第一个问题不直接回答。如何？ (1)棋子是白的，是吗？ (2)你刚说了“是”，是吗？ 三个命题变元P、Q和R可构造8个极大项 把命题变元的否定形式看成1，肯定形式看成0，则每个极大项对应一个二进制数，也对应一个十进制数。它们对应如下： P?Q?R 与000 或0对应，简记为 M0 P?Q??R 与001 或1对应，简记为 M1 P??Q?R 与010 或2对应，简记为 M2 P??Q??R 与011 或3对应，简记为 M3 ?P?Q?R 与100 或4对应，简记为 M4 ?P?Q??R 与101 或5对应，简记为 M5 ?P??Q?R 与110 或6对应，简记为 M6 ?P??Q??R与111 或7对应，简记为 M7 n个命题变元组成的极大项有2n个 公式的每一个完全成假解释对应一个极大项 公式的所有完全成假解释对应极大项的合取 例: 考察公式 ?=P?Q 有两个成假解释： (T, F), (F, T) 分别对应于两个极大项(析取式)为 ?P∨Q, P∨?Q 于是，有 ?= (?P∨Q)∧(P∨?Q) 主合取范式 定义4 仅有极大项构成的合取范式称为主合取范式。 定理2 任何一个合式公式，均有惟一的一个主合取范式与该合式公式等价。 主合取范式就是 公式的所有完全成假解释对应的极大项的合取。 求主合取范式的两种方法 (1)解释法 根据公式的所有完全成假解释，求出与这些成假解释对应的析取式，所有析取式的合取就为公式的主合取范式。 (2)等价变换法 将合取范式中的每一个析取式用A??A填满命题变元，然后用等价公式进行变换，消去相同部份，即得公式的主合取范式。 解： 原式 =(?P?R)?((P ?(Q ??R))?(?P??(Q ??R))) （去蕴涵词、等价词） =(?P?R)?(P?Q )?(P??R) ? (?P??Q?R) 于是， (?P?R)=(?P?R)?(Q??Q) =(?P?R?Q)?(?P?R??Q) (P?Q )= (P?Q)?(R ? ?R)= (P?Q?R) ? (P?Q ??R) (P??R)=(P??R)?(Q??Q)= (P?Q??R)?(P??Q??R) 原式 =(100?110)?(000?001) ?(001 ?011) ?110 =100 ?110 ?000 ?001 ?011= 例(p12) 求 (P?R)?(?P?(Q ??R))的主合取范式 勘误！ 例 试求 α =(P?R)?(?P ?(?Q ?R))  的主析取范式和主合取范式 解: α =(?P∨R) ? ((?P∧(?Q∧R))∨(P∧(?(?Q∧R)))) （去蕴涵词、等价词） =(?P∨R) ?((?P∧?Q∧R) ∨(P∧Q) ∨(P∧?R)) （化简） =(P∧?R) ∨(?P∧?Q∧R) ∨(P∧Q) ∨(P∧?R) （去蕴涵词） = (P∧?R) ∨(?P∧?Q∧R)∨(P∧Q) =(110 ∨100) ∨ 001 ∨ (111 ∨ 110)=∑(1,4,6,7) 例 试求 (P?R)?(?P ?(?Q ?R))  的主析取范式和主合取范式 解: 已经得到 α = (?P∧?Q∧R)∨(P∧Q)∨(P∧?R) ∴α=((?P∨P)∧(?P∨Q)∧(?Q∨P) ∧(?Q∨Q)∧(P∨R)∧(Q∨R))∨(P∧?R) =((?P∨Q)∧(?Q∨P)∧(P∨R)∧(Q∨R)) ∨(P∧?R) =(T∧(?P∨Q∨?R)) ∧((?Q∨P)∧(P∨?Q∨?R) ) ∧((P∨R) ∧T) ∧ ((P∨Q∨R) ∧T) =101∧ (010 ∧ 011) ∧ (010 ∧ 000) ∧ 000 =∏(0,2,3,5) 例 试求 (P?R)?(?P ?(?Q ?R))  的主析取范式和主合取范式 另解: 已经得到 α = (?P∧?Q∧R)∨(P∧Q)∨(P∧?R) ?α=(P∨Q∨?R