主要的合取範式是PV-qv-R。
其中“-”是對是錯。P∧Q是這個公式的主析取範式，因為這是最小項m3，所以根據範式的互補性，它的主合取範式是M0∧M1∧M2。
擴展數據:
求命題公式的主合取範式和主析取範式:主析取範式是幾個最小項的析取(並)；所謂極大項就是析取表達式p∨？q∨r .
所謂最小項是包含所有命題變量的合取表達式？p∧？q∧r .離散數學可以看作是數學和計算機科學之間的橋梁，因為離散數學離不開集合論、圖論等數學知識，也和計算機科學中的數據庫理論、數據結構有關。
百度百科-離散數學