文件名重復(fù)-p?p?q?p?172p?q-文庫(kù)吧資料
2024-10-06 03:05本頁(yè)面
【正文】 ? 例、求 P ? (172。 Q ? 172。 R )? (172。 R 則根據(jù)此大項(xiàng)的編碼方式，在此編碼方式對(duì)應(yīng)的真值指派下，則A的真值為 F，與 A為永真式矛盾。 Q) ? ( P ? Q) ? T 原式 ? 包括了所有的小項(xiàng) 例 求 A ： ( P ? ( P ? Q)) ? Q 的主析 (合 ) 取范式。 P ? 172。 P ) ? (172。 Q )) ? ( P ? 172。 P ? Q) ? (172。 Q )) ? Q ? (172。 P ? (172。 P ? (P ? 172。 ( P ? (172。 P ? P)式， 然后應(yīng)用分配律展開(kāi)公式。 去掉合取范式中所有永真的項(xiàng) (包含形如： 172。 P ? R) ? (Q ? P)的主合取范式。 R) ?(P ? 172。 P ? Q ? R ) ? (P ? 172。 P ? Q ? 172。 求主合取范式的兩種方法： 真值表法 等價(jià)公式法 證明：略 在真值表中，一個(gè)公式的真值為 F 的指派所對(duì)應(yīng)的大項(xiàng)的合取， 即為此公式的主合取范式。 全體大項(xiàng)的合取永為 F。 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 每個(gè)大項(xiàng)當(dāng)其真值指派與編碼相同時(shí)，其真值為 F， 在其余 2n1種真值指派下均為 T。 P ? Q 172。 R 兩個(gè)命題變?cè)? P、 Q及大項(xiàng)的真值表如下： P Q P ? Q P ? 172。 P ? 172。 如 P、 Q、 R三個(gè)命題變?cè)捍箜?xiàng)編碼如下： 大項(xiàng)的編碼方式 —— 1為變?cè)姆瘢? 0為變?cè)旧? m000=m0= P ? Q ? R m001 =m1 = P ? Q ? 172。 Q ? 172。 Q ? R， 172。 R， 172。 P ? Q ? R ， 172。 Q ? 172。 R， P ? 172。 P ? 172。 Q， 172。Q? R) n個(gè)命題變?cè)奈鋈∈椒Q作布爾析取或者大項(xiàng)，其中每個(gè)變?cè)? 與它的否定不能同時(shí)存在，但是，兩者必須出現(xiàn)且僅出現(xiàn)一次。R) ? (172。Q ? 172。Q ? 172。Q ? 172。Q ? 172。Q ? 172。Q ? 172。Q ? 172。 P ? P， 合并相同變?cè)?Q 對(duì)合取項(xiàng) 172。 Q)) 的主析取范式。 (172。 P ? 172。 Q ? Q) ? (P ? Q) ? (172。 P ? (P ? Q) 原式 ? ? 172。 P ? ((172。 P ? ((172。 P ? P)式， 然后應(yīng)用分配律展開(kāi)公式。 去掉析取范式中所有永假的項(xiàng) (包含形如： 172。 P ? Q)的主析取范式。 Q) 例 求 P ? Q、 P ? Q、 P ? Q、 172。 P ? Q) ? (172。 (P ? Q) ? (P ? 172。 Q) ? (172。 P ? 172。 P Q P ? Q P ? Q P ? Q ? (P ? Q) (P ? Q) ? ( ? P ? Q ) T T T T T F T T F F T F T T F T T T F T T F F T F F T T 由定理 3可得： P ? Q ?
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1