求P→Q∨R的析取范式、主析取范式、主合取范式

[复制链接]
查看11 | 回复2 | 2008-7-14 18:48:06 | 显示全部楼层 |阅读模式
我求的是:P→Q∨R的析取范式、主析取范式、主合取范式,请以本题为例帮忙解答,谢谢!

回复

使用道具 举报

千问 | 2008-7-14 18:48:06 | 显示全部楼层
主合取范式:若干个极大项的合取。 主析取范式:若干个极小项的析取。 例, 求公式(p∧q)∨r的主析取范式及主合取范式。 主析取范式: (p∧q)∨r (p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r) (p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r) (p∧q∧r)∨(p∧q∧┐r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)∑(m1,m3,m5,m6,m7) 主合取范式 (p∧q)∨r (p∨r)∧(q∨r) (p∨(q∧┐q)∨r)∧((p∧┐p)∨q∨r) (p∨q
回复

使用道具 举报

千问 | 2008-7-14 18:48:06 | 显示全部楼层
主合取范式:若干个极大项的合取。 主析取范式:若干个极小项的析取。 例, 求公式(p∧q)∨r的主析取范式及主合取范式。 主析取范式: (p∧q)∨r (p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r) (p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

主题

0

回帖

4882万

积分

论坛元老

Rank: 8Rank: 8

积分
48824836
热门排行