离散数学
推理
形式结构
前提: $A_{1},A_{2},\dots A_{n}$ 结论: $B$
推理方法
真值表法
等值演算法
主析取范式法