离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样的题就卡住

来源:学生作业帮助网 编辑:作业帮 时间:2024/06/17 05:31:27

离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样的题就卡住
离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样的题就卡住

离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样的题就卡住

理论基础:

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

合取:同真取真,其余取假,就相当于集合中的取交集;
析取:有真取真,同假取假,就相当于集合中的取并集.

定理:

(1)一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定.

(2)一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定.

定义:

(1)由有限个简单合取式构成的析取式称为析取范式.

(2)由有限个简单析取式构成的合取式称为合取范式.

(3)析取范式与合取范式统称为范式.

 

举例说吧:
例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

主合取范式:
(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

从上面的例子你不难看出两者之间的关系吧!
就是一个主析取范式转化为主合取范式就是取其主析取范式内不存在的最小项的标号的最大项进行析取,反过来求也是一样的!

例2,文字:p,┐q,r,q.

简单析取式: p,q,p∨q,p∨┐p∨r,┐p∨q∨┐r.

简单合取式: p,┐r,┐p∧r,┐p∧q∧r,p∧q∧┐q.

 

亲手总结,望采纳!

离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样的题就卡住 主析取范式和主合取范式的求法! 离散数学怎样判断合取范式和析取范式? 离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急 求离散数学(P→ Q)→ R主合取范式和主析取范式 离散数学,主析取范式与主合取范式.谢谢了.求┐(P∧Q)→R的主析取范式与主合取范式. 离散数学中怎样用主析取范式求主合取范式 离散数学题目求主合取范式和主析取范式求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式 离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p->q)^(q->r)求下列公式的主和取范式,再用主和取范式求主析取范式?1、(p^q)->q2、(p->q)->r3、┐(r- 离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式如果答对一定追分 p∧┐p 的主析取范式是多少,p∨┐p 的主合取范式是多少离散数学-命题逻辑 求与((X1 -> X2) -> X3) -> X4逻辑等价的主合取范式和主析取范式```? (非P->q)->(非qVp)的主析取范式和主合取范式 求下列公式的主析取范式和主合取范式P∧Q 求命题公式(P∧Q)∨R的主析取范式和主合取范式 求主析取和主合取范式. 离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教 P→(P∧(Q→P))的主析取范式和主合取范式这个公式是重言式,主合取范式?