11. P→Q = P∨Q
  通常对P→Q进行运算时, 不如用P∨Q来得方便。而且以P∨Q表示P→Q帮助我们理解如果P则Q的逻辑含义。问题是这种表示也有缺点,丢失了P、Q间的因果关系。

  12. P→Q = Q→P
  如将P→Q视为正定理, 那么Q→P就是相应的逆否定理, 它们必然同时为真, 同时为假, 所以是等值的。

  13. P→(Q→R) = (P∧Q)→R
  P是(Q→R)的前提, Q是R的前提, 于是可将两个前提的合取P∧Q作为总的前提。 即如果P则如果Q则R, 等价于如果P与Q则R。

  14. PQ = (P∧Q)∨(P∧Q)
  这可解释为PQ为真, 有两种可能的情形, 即(P∧Q)为真或(P∧Q)为真。而P∧Q为真, 必是在P = Q = T的情况下出现, P∧Q为真, 必是在P = Q = F的情况下出现。从而可说, PQ为真, 是在P、Q同时为真或同时为假时成立。这就是从取真来描述这等式。

  15. PQ = (P∨Q)∧(P∨Q)
  这可解释为PQ为假, 有两种可能的情形, 即(P∨Q)为假或(P∨Q)为假, 而P∨Q为假, 必是在P = F, Q = T的情况下出现, P∨Q为假, 必是在P = T, Q = F的情况下出现。从而可说PQ为假, 是在P真Q假或P假Q真 时成立。这就是从取假来描述这等式。

  16. PQ = (P→Q)∧(Q→P)
  这表明PQ成立, 等价于正定理P→Q和逆定理Q→P都成立。

  17. P→(Q→R) = Q→(P→R)
  前提条件P、Q可交换次序。

  18. (P→R) ∧(Q→R)=(P∨Q)→R
  左端说明的是由P而且由Q都有R成立。从而可以说由P或Q就有R成立, 这就是等式右端。