重言式的主合取範式是一個重要的概念，它涉及到邏輯和布爾代數。根據提供的信息，我們可以總結如下：
重言式的定義：一個命題公式，無論其命題變元的真值如何，總是為真的公式稱為重言式。
主合取範式：對於任意給定的命題公式，其主合取範式是由該公式所有使結果為假的真值賦值對應的極大項的合取（交集）構成的公式。極大項是包含所有命題變元的析取表達式。
重言式的主合取範式：對於重言式，由於其總是為真，不存在使其為假的真值賦值，因此重言式的主合取範式是一個空範式，即不包含任何極大項的合取。這可以表示為1，意味著重言式等價於一個始終為真的表達式。
綜上所述，如果一個命題公式是重言式，那麼其主合取範式是一個空範式，用1表示。這是因為重言式在所有可能的真值賦值下都為真，因此沒有極大項可以構成其主合取範式。