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

问题描述:

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

问题解答:

我来补答
先列出真值表,成真赋值(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)
 
 
展开全文阅读
剩余:2000
下一页:原创8