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