离散数学--命题逻辑等值演算

目录 一、等值式 1、基本等值式 2、等值演算与置换规则 3、等值演算的应用举例 二、析取范式与合取范式 1、基本概念 2、范式的性质 3、极大项与极小项 4、主析取范式与主合取范式 5、求公式主范式的步骤 三、主范式的应用 ①、求公式的成真赋值和成假赋值 ②、判断公式的类型 ③、判断两个公式是否等值 一、等值式 1、基本等值式 2、等值演算与置换规则 3、等值演算的应用举例 二、析取范式与合取范

>>阅读原文<<