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

主合取范式:若干个极大项的合取。
主析取范式:若干个极小项的析取。
例, 求公式(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:
参考资料：http://www.nuist.edu.cn/courses/lssx/longtime/part1/chapter02/02_02_03_01.htm

主合取范式:若干个极大项的合取。
主析取范式:若干个极小项的析取。
例