问题描述:
离散数学命题逻辑求析取范式?
求析取范式?主析取范式?再用主析取范式求主和取范式?
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
2、(p->q)^(q->r)
求下列公式的主和取范式,再用主和取范式求主析取范式?
1、(p^q)->q
2、(p->q)->r
3、┐(r->p)^p^q
问题解答:
我来补答展开全文阅读