第二章 命题逻等值演算.pptVIP

解 原式?（P∧Q∧(R∨┐R)） ∨(┐P∧R∧(Q∨┐Q)) ∨(Q∧R∧(P∨┐P)) ?（P∧Q∧R）∨（P∧Q∧┐R）∨(┐P∧Q∧R)∨(┐P∧┐Q ∧R) ?m7 ∨ m6 ∨ m3 ∨ m1 ?∑(1,3,6,7) 例 求(P∧Q)∨(┐P∧R)∨(Q∧R)的主析取范式。 解 P→((P→Q)∧┐(┐Q∨┐P)) ? ┐ P ∨((┐P∨Q)∧(Q∧P)) ? ┐ P∨((┐P∧Q∧P)∨(Q∧Q∧P)) ? ┐ P∨(┐ P∧Q∧P)∨(Q∧P) ? ┐ P∨(Q∧P) ?(┐P∧（Q∨┐Q）)∨(Q∧P) ?（┐P∧Q）∨(┐P∧┐Q)∨(Q∧P) ?m1 ∨ m0 ∨ m3 ?∑(0,1,3) 例 求P→((P→Q)∧┐(┐Q∨┐P))的主析取范式。 对于一个命题公式的主析取范式，如将其命题变元的个数及出现次序固定后，则此公式的主析取范式便是唯一的，因此，给定任两个公式，由主析取范式可以方便地看出两个公式是否等值,还可利用主析取范式判断命题类型，求命题公式的成真成假赋值等。 P19 例17 与主析取范式类似的是主合取范式 大项定义：在含n个命题变元的简单析取式中，若每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次，且第I个命题变项或其否定出现在从左起的第I位上。如:两个命题变元P和Q,其大项为 P∨Q，P∨┐Q，┐P∨Q，┐P∨┐Q 又如 P∨Q∨R，P∨Q∨┐R,…，┐P∨┐Q∨┐R 每个大项可用n位二进制予以编码： 若n=2 =P∨Q， =P∨┐Q =┐P∨Q， =┐P∨┐Q 若n=3 =P∨Q∨R， =┐P∨Q∨R =P∨Q∨┐R， =┐P∨Q∧┐R =P∨┐Q∨R， =┐P∨┐Q∨R =P∨┐Q∨┐R， =┐P∨┐Q∨┐R 大项有如下性质： 每个大项当其真值指派与编码相同时，其真值为F，在其余 种指派情况下均为T。 主合取范式也可用真值表方法给出予以写出。 在真值表中，一个公式的真值为F 的指派所对应的大项的合取，即为此公式的主合取范式。 用II表示大项的合取 主合取范式 设命题公式A中含n个命题变项，如果A的合取范式中的简单析取式全是极大项，则称该合取范式为A的主合取范式。 例 利用真值表求（P∧Q）∨(┐P∧R)的主合取范式与主析取范式。 解 公式（P∧Q）∨(┐P∧R)的真值表如下。 P Q R P∧Q ┐P∧R （P∧Q）∨（┐P∧R） T T T T F T T T F T F T T F T F F F T F F F F F F T T F T T F T F F F F F F T F T T F F F F F F 故主合取范式为： （P∧Q）∨（┐P∧R）?（┐P∨Q∨┐R）∧（┐P∨Q∨R）∧（P∨┐Q∨R）∧(P∨Q∨R） ?∏（0，2，4，5） 主析取范式为： （P∧Q）∨（┐P∧R）?（P∧Q∧R）∨（P∧Q∧┐R）∨（┐P∧Q∧R）∨（┐P∧┐Q∧R） ?∑（1，3，6，7） 例 化（P∧Q）∨（┐P∧R）为主合取范式。 解 （P∧Q）∨（┐P∧R）?（（P∧Q）∨┐P）∧（（P∧Q）∨R） ?（P ∨ ┐P）∧（Q ∨ ┐P）∧（P∨R）∧（Q∨R） ?（Q ∨ ┐P）∧（P∨R）∧（Q∨R） ?（Q ∨ ┐P∨（R∧┐R））∧（P∨R∨ （Q∧┐Q））∧（Q∨R∨（P∧┐P）） ?（Q∨┐P∨R）∧（Q∨┐P∨┐R）∧（P∨R∨Q）∧（P∨R∨┐Q）∧（Q∨R∨P） ∧（Q∨R∨┐P） ?（┐P∨Q∨R）∧（┐P∨Q∨┐R） ∧（P∨┐Q∨R）∧（P∨Q∨R） 注意：在用真值表技术求主析取范式和主和取范式时，小项和大项的编码不同。 如n=2 小项的编码： 大项的编码: 例题二：求 解：原式 例题三：求 的析取范式。 解：原式 例题四：求 的主合取范式 例题五：