离散数学：主范式（主析取范式、主合取范式）求解主析取范式、主合取范式⽅法1、真值表法鞋架① 在表中列出变元值的全部可能② 查表判断命题命题结果真，变元值对应主析取范式 命题结果假，变元值对应主合取范式2、等值演算法①命题化简蕴涵等值式：A→B ↔¬A∨B（作⽤：去→）⽭盾律：A ↔ ∧¬A（作⽤：补齐变元）分配律：(A∧B)∨C ↔ (A∨C)∧(B∨C)、(A∨B)∧C ↔ (A∧C)∨(B∧C