..等价公式.pptVIP

1.2.2 等价公式 逻辑等值(等价)的概念 几组重要的等值(等价)公式 利用等值(等价)公式，对公式进行化简，以求解公式的成真解释、成假解释 ⑥ 等值变换、否定深入公式 合取:只要有一个为假即为假! 合取:只要有一个为假即为假! P=T时, 原式=?(T?Q)∨?((R??Q)??T) =?Q∨?(?(R??Q)) =?Q∨(R??Q) =?Q ∨(?R∨?Q) = ?Q∨?R P=F时, 原式=?(F?Q)∨?((R??Q)??F) =?T∨?T =F * * 注： 从定义可以看出，极小项中每个Pi(i=1，…，n) 必须出现一次，或为肯定形式或为否定形式。 * P=T时, 原式=?(T?Q)∨?((R??Q)??T) =?Q∨?(?(R??Q)) =?Q∨(R??Q) =?Q ∨(?R∨?Q) = ?Q∨?R P=F时, 原式=?(F?Q)∨?((R??Q)??F) =?T∨?T =F * 注：从定义可以看出，极大项中每个Pi(i=1，…，n) 必须出现一次，或为肯定形式或为