20210104第二章复习

第 2 章命题逻辑等值演算

主析取范式：外析内合，极小项 (m0~m7)，成真赋值
主合取范式：外合内析，极大项 (M0~M7)，成假赋值

判断是否为永真式、是否为矛盾式、真值表如何的一般方法：
1.真值表法（肯定，无论如何总可以暴力）
2.等值演算法（推到法，进行化简，变为容易认识的样子）
3.主析取范式、主合取范式法
4.消解法（仅用于证明是否为矛盾式）