它的析取公式:(﹁p→q)→(q→﹁p)等價於壹個析取公式，
這個析取要麽是(﹁p→q)錯，要麽是(q→﹁p)對。
也就是﹁(﹁p→q)∨(q→﹁p)可以轉化為﹁ p ﹁ q) ∨ (q → ﹁ p)。
命題公式又稱復合公式，是壹個數理邏輯術語，是按照壹定規律形成的符號序列。
擴展數據:
定義？命題公式，也稱為命題公式(簡稱公式)，可以按照以下規則生成:
(1)命題變量是壹個命題公式。
(2)如果A是壹個命題公式，那麽？a是壹個命題公式。
(3)如果A和B是命題公式，那麽(A∧B)、(A∨B)、(A→B)和(A？b)都是命題公式。
(4)當且僅當(1)、(2)、(3)有限應用，包含命題變量、連詞和括號的符號串是命題公式。
命題公式的定義是壹種遞歸的定義形式。命題公式本身不是命題，沒有真值。只有給它的命題變量賦值後，它才有真值。
五個連接操作符有不同的優先級。當它們同時出現在壹個命題公式中時，連接之間的運算優先級是多少？、∧、∨、→、?如果有括號，括號中的操作優先。
命題公式的分類
同義反復
給定壹個命題公式，如果命題公式的真值對於命題變量的任意壹組賦值總是1，則該命題公式稱為重言式或永恒真理。
矛盾的表達
給定壹個命題公式，如果命題公式的真值對於命題變量的任意壹組賦值都始終為0，則稱該命題公式是矛盾的或永遠為假。
可滿足公式
給定壹個命題公式，如果至少有壹組賦值使公式的真值為1，則該命題公式稱為可滿足的。
按定義，公式？(P∧Q)？P∨？q是永恒的，公式？(P→Q)∧Q是壹個永久假公式，永久真公式的真值總是1，所以它是壹個特殊的可滿足公式。
百度百科-命題公式
百度百科-真值表