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