离散数学第二y章.pptVIP

例2.7 求下面公式的析取范式与合取范式：????????(p→q) ? r 解: 为了清晰和无误, 演算中每个简单析取式或合取式中命题变项的出现都是按字典顺序 ????（1）先求合取范式???????????(p→q) ? r??????? ? ?(┐p∨q) ? r ?????????????????? （消去→）??????? ? ?((┐p∨q)→r)∧(r→(┐p∨q)) ???（消去? ）???????? ?(┐(┐p∨q)∨r)∧(┐r∨┐p∨q)? （消去→）???????? ?((p∧┐q)∨r)∧(┐p∨q∨┐r)??? （否定号内移）???? ? ?(p∨r)∧(┐q∨r)∧(┐p∨q∨┐r) （∨对∧分配律）经过五步演算, 得到了含三个简单析取式的合取范式. ?（2）求析取范式???? 求析取范式与求合取范式的前两步是相同的, 只是在利用分配律时有所不同. 因而可以用（1）中前四步的结果, 接着进行∧对∨分配律演算.????????????(p→q) ? r???????? ?((p∧┐q)∨r)∧(┐p∨q∨┐r)???????? ?(p∧┐q∧┐p)∨(p∧┐q∧q)∨(p∧┐q∧┐r)∨(r∧┐p)∨(r∧q)∨(r∧┐r)???????? ?(p∧┐q∧┐r)∨(┐p∧r)∨(q∧r) 在以上演算中, 从第二步到第三步是利