离散数学命题逻辑求析取范式?

题目

离散数学命题逻辑求析取范式?
求析取范式?主析取范式?再用主析取范式求主和取范式?
1、(p^q)Vr
2、(p->q)^(q->r)
求下列公式的主和取范式,再用主和取范式求主析取范式?
1、(p^q)->q
2、(p->q)->r
3、┐(r->p)^p^q

答案

先列出真值表,成真赋值（1）的就把对应前面的写出来,为主析取,成假赋值的相反.如(p^q)vr
p q r (p^q)vr
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
主析取为001,011,101,110,111.即(!p^!q^r)v(!p^q^r)v(p^!q^r)v(p^q^!r)v(p^q^r)