文件名重復(fù)-p?p?q?p?172p?q-在線瀏覽
2024-12-01 03:05本頁面
【正文】 元和相同的合取項； 對合取項補入沒有出現(xiàn)的命題變元，添加 ( 172。 等價公式法求主析取范式 172。 P ? Q) ? (P ? Q)) ? 172。 P ? P ? Q) ? (Q ? P ? Q)) ? 172。 P ? (172。 P ? Q) ? (172。 Q) ? (P ? Q) 例、求 P ? ((P ? Q) ? 172。 P ? 172。 析取范式 去掉永假項 172。 P補入沒有出現(xiàn)的變元 Q 例、 采用等價公式法求 ( ? P ? R ) ? ( P ? Q ) 的主析取范式 原式 ?(? ? P ? R) ?( ( P ? Q) ? (172。P ) ) ?( ( P ? R ) ? ( P ? Q ) ) ? ( ( P ? R ) ? ( 172。P ) ) ? (( P ? ( P ? Q)) ? ( R ? ( P ? Q ) )) ? (( P ? R ) ? ( 172。P)) ? (( P ? Q ) ? ( R ? ( P ? Q ) )) ? ( ( P ? R ) ? ( 172。P ) ) ? ( P ? Q ) ? ( ( P ? ( 172。P ) ) ?((R ? ( 172。P ) )) ?( P ? Q) ? (R ?172。P) ? (P ? Q? R) ? (P ?Q ? 172。P ? 172。 P ? Q， P ? 172。 P ? Q， 172。 Q 兩個命題變元 P 、 Q，其大項有四項： 三個命題變元的 P、 Q和 R，其大項有八項： P ? Q ? R ， P ? Q ? 172。 Q ? R， P ? 172。 R 172。 P ? Q ? 172。 P ? 172。 P ? 172。 R 布爾析取 /大項 …… n個命題變元共有 2n個大項。 R … … m111 = m7 = 172。 Q ? 172。 Q 172。 P ? 172。 任意兩個不同的大項的析取永為 T。 (因為總有一個大項為 F) 大項的性質(zhì) 主合取范式 對于給定的命題公式，如果有一個僅有大項的合取所組成的 等價公式，則稱作為原命題公式的主合取范式。 定理 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。 R) ? (172。 Q ? 172。 Q ? R) ? ( P ? Q ? R) A? 例、求 A ? (172。 化為合取范式 。 P ? P 的項 )； 合并相同變元和相同的析取項； 對析取項補入沒有出現(xiàn)的命題變元，添加 ( 172。 等價公式法求主合取范式 主析取范式： 172。 P ? Q)) ? Q ? 172。 Q )) ? Q ? (172。 Q ? Q)) ? (P ? 172。 P ? P) ? (172。 P ? 172。 Q) ? ( P ? Q) ? (Q ? 172。 P ? Q) ? (172。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1