矛盾式的主合取範式是由極大項的合取構成的。由於矛盾式在所有可能的真值賦值下都為假，因此其主合取範式應包括所有2^n個極大項的合取，其中n是命題變數的數量。這意味著，對於任何一個矛盾式，其主合取範式將包含所有使命題公式真值為0的極大項。
例如，如果有三個命題變數，極大項的下標範圍是0到7。如果一個命題公式是矛盾式，其主合取範式將包括M0、M1、M2、M3、M4、M5、M6和M7，這些極大項的下標是所有極小項下標的補集。這意味著，對於任何一個給定的真值賦值，至少有一個極大項將為假，從而使得整個矛盾式的值為假。