您現(xiàn)在的位置是：首頁(yè) >要聞 > 2024-02-10 05:25:38 來(lái)源：
主析取范式與主合取范式怎么求（主析取范式）
大家好，我是小夏，我來(lái)為大家解答以上問(wèn)題。主析取范式與主合取范式怎么求，主析取范式很多人還不知道，現(xiàn)在讓我們一起來(lái)看看吧！
1、原發(fā)布者:鼠洪N4820
2、第一章命題邏輯第七講內(nèi)容回顧定義對(duì)于給定的命題公式，如果有一個(gè)等價(jià)公式僅由小項(xiàng)的析取所組成，則該等價(jià)式稱為原式的主析取范式。小項(xiàng)定義n個(gè)命題變?cè)暮先∈?，稱為布爾合取或小項(xiàng)，其中每個(gè)變?cè)c它的否定不能同時(shí)存在，但兩者必須出現(xiàn)且僅出現(xiàn)一次。每個(gè)小項(xiàng)可用n位二進(jìn)制編碼表示。以變?cè)陨沓霈F(xiàn)的用1表示，以其否定出現(xiàn)的用0表示：m000pqr,m100pqr,m001pqr,m101pqr,m010pqr,m110pqr,m011pqr,m111pqr.小項(xiàng)的性質(zhì)如下：（1）每一個(gè)小項(xiàng)當(dāng)其真值指派與編碼相同時(shí)，其真值為1，其余的2n－1種均為0;(ij)（2）任意兩個(gè)不同小項(xiàng)的合取式永假：mimj0（3）全體小項(xiàng)的析取式永為真，記為：2n-1i0mim0m1m2n-11主析取范式的求法?真值表法?等值演算法趣味推理題?A、B、C三人去餐館吃飯，他們每人要的不是火腿就是豬排。（1）如果A要的是火腿，那么B要的就是豬排。（2）A或C要的是火腿，但是不會(huì)兩人都要火腿。（3）B和C不會(huì)兩人都要豬排。誰(shuí)昨天要的是火腿，今天要的是豬排？只有B才能昨天要火腿，今天要豬排。1．5．4主合取范式定義1-n個(gè)命題變?cè)奈鋈∈?，稱為布爾析取或極大項(xiàng)，其中每個(gè)變?cè)c它的否定不能同時(shí)存在，但兩者
本文到此講解完畢了，希望對(duì)大家有幫助。
