主析取范式與主合取范式怎么求（主析取范式）

大家好，我是小夏，我來為大家解答以上問題。主析取范式與主合取范式怎么求，主析取范式很多人還不知道，現在讓我們一起來看看吧！

1、原發布者:鼠洪N4820

2、第一章命題邏輯第七講內容回顧定義對于給定的命題公式，如果有一個等價公式僅由小項的析取所組成，則該等價式稱為原式的主析取范式。小項定義n個命題變元的合取式，稱為布爾合取或小項，其中每個變元與它的否定不能同時存在，但兩者必須出現且僅出現一次。每個小項可用n位二進制編碼表示。以變元自身出現的用1表示，以其否定出現的用0表示：m000pqr,m100pqr,m001pqr,m101pqr,m010pqr,m110pqr,m011pqr,m111pqr.小項的性質如下：（1）每一個小項當其真值指派與編碼相同時，其真值為1，其余的2n－1種均為0;(ij)（2）任意兩個不同小項的合取式永假：mimj0（3）全體小項的析取式永為真，記為：2n-1i0mim0m1m2n-11主析取范式的求法?真值表法?等值演算法趣味推理題?A、B、C三人去餐館吃飯，他們每人要的不是火腿就是豬排。（1）如果A要的是火腿，那么B要的就是豬排。（2）A或C要的是火腿，但是不會兩人都要火腿。（3）B和C不會兩人都要豬排。誰昨天要的是火腿，今天要的是豬排？只有B才能昨天要火腿，今天要豬排。1．5．4主合取范式定義1-n個命題變元的析取式，稱為布爾析取或極大項，其中每個變元與它的否定不能同時存在，但兩者

本文到此講解完畢了，希望對大家有幫助。