22命题逻辑的等值和推理演算.pptVIP

极大项 定义 n个命题变项的简单析取式，其中每个命题变项与其否定不同时出现，而二者之一必出现且仅出现一次，这样的简单析取式称为极大项。 如：两个命题变元P和Q，其极大项为： P ? Q，P ? ?Q， ?P ? Q， ? P ? ? Q 说明 n个命题变项产生2n个极大项，它们互不等值 用Mi表示第i个极大项，每个小项的n个变元排序相同。（按下标或字典顺序），分别记为 其中i是该极大项成假赋值的十进制表示的补. M00 M01 M10 M11 极大项 由P, Q, R三个命题变项形成的极大项 极大项 成假赋值 名称 P∨Q∨R 000 M7 P∨Q∨?R 001 M6 P∨?Q∨R 010 M5 P∨?Q∨?R 011 M4 ?P∨Q∨R 100 M3 P∨Q∨?R 101 M2 ?P∨?Q∨R 110 M1 ?P∨?Q∨?R 111 M0 主合取范式 主合取范式 由极大项构成的合取范式 如n=3, 命题变项为P, Q, R时，主合取范式: (P?Q??R)?(?P?Q??R) ? M6?M2 定理 任何命题公式都存在与之等值的主合取范式, 并且是惟一的. 求主合取范式的方法 等值演算法和真值表法 1. 求A的合取范式A′； 2. 若A′的某简单析取式B中不含某命题变项或其否定，则将B展成如下形式： B = B ? 0 = B ? (Pi ? ? Pi ) = (B ? Pi) ? (B ? ? Pi) 3. 将重复出现的命题变项、重言式及重复出现的极大项都“消去”。 4. 将极大项按由小到大的顺序排列，并用 ? 表示之，如 M1 ? M2 ? M6 用 ?(1,2,6) 表示。 用等价演算法求主合取范式的步骤 求公式((P?Q?R)? P的主合取范式 解1: ((P ? Q) ? R) ? P =(?(P ? Q) ? R) ? P =? (?(P ? Q) ? R) ? P = (P ? Q) ? ? R ? P =(P ? ? R) ?(Q ? ? R) ? P =(Q? ? R) ? P =(P ? Q)? (P? ?R) =((P ? Q) ? (R? ?R))? ((P? ?R) ? (Q ? ?Q) ) =(P?Q?R)?(P?Q ??R) ? (P?Q??R)?(P??Q? ?R) =M7 ? M6 ? M4 = ? (3,6,7) P?Q ? ?P?Q A?(A?B)?A 合取范式 解2:((P ? Q) ? R) ? P = (?(P ? Q) ? R) ? P = ? (?(P ? Q) ? R) ? P = (P ? Q) ? ? R ? P = (P ? ? R) ?(Q ? ? R) ? P = (Q? ? R) ? P = (P ? Q)? (P? ?R) (合取范式) = M11x ? M1x0 = M110 ? M111 ? M100 ? M110 = M6? M7? M4 = ? (4,6,7) 求公式((P?Q?R)? P的主合取范式 = (Q? ? R) ? P = mx10 ? m1xx = m010 ? m110 ? m100 ? m101 ? m110 ? m111 = m2 ? m4 ? m5 ? m6 ? m7 = ? (2,4,5,6,7) 主析取范式与主合取范式的转换—— ? (2,4,5,6,7) = ?[(0~7)-(2,4,5,6,7)]补 = ?(0,1,3)补 = ?(4,6,7) (析取范式) 作业3 P37: 4 (1) P37: 5 (3)(8) 补充题：（主析取范式的应用） 某勘探队有3名队员，有一天取得一块矿样，3人的判断如下： 甲说：这不是铁，也不是铜； 乙说：这不是铁，是锡； 丙说：这不是锡，是铁。 经实验室鉴定后发现，其中一个人两个判断都正确，一个人判对一半，另一个人全错了。根据以上情况判断矿样种类。 * F1=0， F1=P ?Q, * (P ↑Q)*=P ↓ Q ∨，∧，↑，↓，0，1分别换成 ∧，∨，↓，↑，1，0， * 抄2.5.3 * 公式类别：重言式、矛盾式和可满足式 * 任何析取范式的对偶式为合取范式；任何合取范式的对偶式为析取范式。 例如，A =