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

求P→Q∨R的析取范式、主析取范式、主合取范式
我求的是:P→Q∨R的析取范式、主析取范式、主合取范式,
建筑业新手 1年前 已收到2个回答 举报

打工的老陈 春芽

共回答了17个问题采纳率:94.1% 举报

主合取范式:若干个极大项的合取.
主析取范式:若干个极小项的析取.
例,求公式(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∨r)∧(p∨┐q∨r)∧(p∨q∨r)∧(┐p∨q∨r)
(p∨q∨r)∧(p∨┐q∨r)∧(┐p∨q∨r)∏(M0,M2,M4)
也就是:∑(m1,m3,m5,m6,m7)∏(M0,M2,M4)
说明:∑:表示连续的合取;∏:表示连续的析取
从上面的里子你不难看出两者之间的关系吧!
对了,就是一个主析取范式转化为主合取范式就是取其主析取范式内不存在的最小项的标号的最大项进行析取,反过来求也是一样的!
至于最小项和最大项的标号是怎么得出来你就参考下面网页里的表2.4:

1年前

8

pw73 幼苗

共回答了3个问题 举报

主合取范式:若干个极大项的合取。
主析取范式:若干个极小项的析取。
例, 求公式(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)

1年前

1
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.032 s. - webmaster@yulucn.com