作业帮离散数学命题逻辑求析取范式?
来源：学生作业帮 编辑：作业帮 分类：数学作业 时间：2024/05/17 09:22:38
离散数学命题逻辑求析取范式?
求析取范式?主析取范式?再用主析取范式求主和取范式?
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
先列出真值表,成真赋值（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)
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)