文件名重复-ppqp172pq

文件名重复-ppqp172pq内容摘要：

m111 = m7 = 172。 P  172。 Q  172。 R 两个命题变元的 P、 Q及大项的真值表如下： P Q P  Q P  172。 Q 172。 P  Q 172。 P  172。 Q T T T T T F T F T T F T F T T F T T F F F T T T 每个大项当其真值指派与编码相同时，其真值为 F， 在其余 2n1种真值指派下均为 T。 任意两个不同的大项的析取永为 T。 全体大项的合取永为 F。 (因为总有一个大项为 F) 大项的性质 主合取范式 对于给定的命题公式，如果有一个仅有大项的合取所组成的 等价公式，则称作为原命题公式的主合取范式。 求主合取范式的两种方法： 真值表法 等价公式法 证明：略 在真值表中，一个公式的真值为 F 的指派所对应的大项的合取， 即为此公式的主合取范式。 定理 4 P Q R  P  P  R Q  P A T T T F T T T T T F F T T T T F T F T F F T F F F T F F F T T T T F F F T F T F F F F F T T T T T F F F T F T F 由定理 4： (172。 P  Q  172。 R)  (172。 P  Q  R )  (P  172。 Q  172。 R) (P  172。 Q  R)  ( P  Q  R) A 例、求 A  (172。 P  R)  (Q  P)的主合取范式。 化为合取范式。 去掉合取范式中所有永真的项 (包含形如： 172。 P  P 的项 )； 合并相同变元和相同的析取项； 对析取项补入没有出现的命题变元，添加 ( 172。 P  P)式， 然后应用分配律展开公式。 等价公式法求主合取范式 主析取范式： 172。 ( P  (172。 P  Q))  Q  172。 P  (P  172。 Q ))  Q  (172。 P  (172。 Q  Q))  (P  172。 Q ))  Q  (172。 P  P)  (172。 P  Q)  (172。 P  172。 Q ))  ( P  172。 Q)  ( P  Q)  (Q  172。 P )  (172。 P  Q)  (172。 P  172。 Q ))  ( P  172。 Q)  ( P  Q)  T 原式  包括了所有的小项 例 求 A ： ( P  ( P  Q))  Q 的主析 (合 ) 取范式。 ∵ A为永真式，所以 A不存在主合取范式 析取范式 对合取项 补入没有出现的变元 证明： 设 A为永真式，假设 A存在主合取范式，则。