通典：离散数学中涉及众多公式，以下是其中一些重要的公式，共计16个： 1. **交换率**：A∨B=B∨A，A∧B=B∧A 2. **结合率**：(A∨B)∨C=A∨(B∨C)，(A∧B)∧C=A∧(B∧C) 3. **分配率**：A∨(B∧C)=(A∨B)∧(A∨C)，A∧(B∨C)=(A∧B)∨(A∧C) 4. **德·摩根率**：¬(A∨B)=¬A∧¬B，¬(A∧B)=¬A∨¬B 5. **吸收率**：A∨(A∧B)=A，A∧(A∨B)=A 6. **条件转化率**：P→Q⇔¬P∨Q 7. **双条件转化率**：P↔Q⇔(P→Q)∧(Q→P) 8. **假言易位**：P→Q⇔¬Q→¬P 9. **零律**：A∨T=T，A∧F=F 10. **同一律**：A∨F=A，A∧T=A 11. **蕴含式**：A⇒A∨B 12. **合取式**：P，Q⇒P∧Q 13. **化简律**：P∧Q⇒P 14. **假言推理**：(A→B)∧A⇒B 15. **拒取式**：(A→B)∧¬B⇒¬A 16. **析取三段论**：(A∨B)∧¬B⇒A 这些公式在离散数学的不同分支中都有广泛的应用，包括命题逻辑、谓词逻辑、集合论、图论等。掌握这些公式对于理解和解决离散数学问题至关重要。