變形： Q∧(P∨┐P)∨(┐Q∧P) Q∧1∨(┐Q∧P) Q∨(┐Q∧P) (Q∨┐Q)∧(Q∨P) 1∧(Q∨P) Q∨P Q∨P就是一個合取範式。 其實我想你應該也能化到這一步，你不明白的應該是“這不明明是析取範式嗎？你怎麼說他是合取範式呢？”
不錯，他的確是析取範式，但同時，他也是合取範式，並且，他還是主合取範式。 只是該主合取範式中，只含有1個極大項：Q∨P而已。 合取範式的定義式：僅由有限個簡單析取式構成的合取式稱為析取範式。 Q∨P完全滿足定義，這裡的簡單析取式為1個。 另外你標題中的這個問題“析取範式與合取範式如何轉化”，其實析取範式與合取範式之間，是沒有像主析取範式與主合取範式之間那樣存在一條可以直接轉化的定律的。只能是自己去手工變形。事實上，任一命題公式都有無數多個析取範式與合取範式。因此，是不可能存在主析取範式與主合取範式那樣的轉化方法的。
變形： Q∧(P∨┐P)∨(┐Q∧P) Q∧1∨(┐Q∧P) Q∨(┐Q∧P) (Q∨┐Q)∧(Q∨P) 1∧(Q∨P) Q∨P Q∨P就是一個合取範式。 其實我想你應該也能化到這一步，你不明白的應該是“這不明明是析取範式嗎？你怎麼說他是合取範式呢？”
不錯，他的確是析取範式，但同時，他也是合取範式，並且，他還是主合取範式。 只是該主合取範式中，只含有1個極大項：Q∨P而已。 合取範式的定義式：僅由有限個簡單析取式構成的合取式稱為析取範式。 Q∨P完全滿足定義，這裡的簡單析取式為1個。 另外你標題中的這個問題“析取範式與合取範式如何轉化”，其實析取範式與合取範式之間，是沒有像主析取範式與主合取範式之間那樣存在一條可以直接轉化的定律的。只能是自己去手工變形。事實上，任一命題公式都有無數多個析取範式與合取範式。因此，是不可能存在主析取範式與主合取範式那樣的轉化方法的。