1. 双重否定律
  P = P
  2. 结合律
  (P∨Q) ∨R = P∨(Q∨R)
  (P∧Q) ∧R = P∧(Q∧R)
  (PQ)R = P(QR)
  (P→Q)→RP→(Q→R)
  3. 交换律
  P∨Q = Q∨P
  P∧Q = Q∧P
  PQ = QP
  P→QQ→P
  4. 分配律
  P∨(Q∧R) = (P∨Q)∧(P∨R)
  P∧(Q∨R) = (P∧Q)∨(P∧R)
  P→(Q→R) = (P→Q)→(P→R)
  P(QR)(PQ)(PR)
  5. 等幂律(恒等律)
  P∨P = P
  P∧P = P
  P→P = T
  PP = T
  6. 吸收律
  P∨(P∧Q) = P
  P∧(P∨Q) = P
  7. 摩根律
  (P∨Q) = P∧Q
  P∧Q) = P∨Q
  对蕴涵词、双条件词作否定有
  (P→Q) = P∧Q
  (PQ) = PQ = PQ=(P∧Q)∨(P∧Q)
  8. 同一律
  P∨F = P
  P∧T = P
  T→P = P
  TP = P
  还有
  P→F = P
  FP = P
  9. 零律
  P∨T = T
  P∧F = F
  还有
  P→T = T
  F→P = T
  10. 补余律
  P∨P = T
  P∧P = F
  还有
  P→P = P
  P→P = P
  PP = F