<=>(¬p∨¬q∨p)∧(¬q∨¬q∨p)
<=>1∧(¬q∨p)
<=>p∨¬q
<=>p∧(q∨¬q)∨(¬p∨p)∧¬q
<=>(p∧q)∨(p∧¬q)∨(¬p∧¬q)∨(p∧¬q)
<=>(p∧q)∨(p∧¬q)∨(¬p∧¬q)
离散数学,求主析取范式
解： ( 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∧┐Q∧R)∨( ┐P∧┐Q∧R)...
离散数学的主析取范式和主合取范式应该怎样求 求具体的方法 一看到这样...
主合取范式:若干个极大项的合取。主析取范式:若干个极小项的析取。合取：同真取真，其余取假，就相当于集合中的取交集；析取：有真取真，同假取假，就相当于集合中的取并集。定理：（1）一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定。（2）一个简单合取式是矛盾式当且仅当...
离散数学。求主析取范式。没看明白,从选中就没明白
<=>(¬p∧¬q)∨(¬q∨p)<=>(¬p∨¬q∨p)∧(¬q∨¬q∨p)<=>1∧(¬q∨p)<=>p∨¬q <=>p∧(q∨¬q)∨(¬p∨p)∧¬q <=>(p∧q)∨(p∧¬q)∨(¬p∧¬q)∨(p∧¬q)<=>(p...
离散数学 求主析取范式
⇔1 永真式，等价于下列主析取范式：(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 <==> M6 <==> Π(6) (主合取范式)<==> Σ(0,1,2,3,4,5,7) (主析取范式)注：符号取自屈婉玲等编写的《离散数学》。
离散数学中的主析取范式怎么求?
最好是主析取范式，主析取范式中含的极小项个数为派遣方案数，由各极小项的成真赋值给出如何派法. 所以要求出A的主析取范式。下面给出求A的主析取范式的主要步骤:易知，成真赋值为00110与11001。方案1：孙、李出国，而赵.钱、周不去。方案2：赵、钱、周出国，而孙、李不去。
离散数学求主析取范式
主析取范式是大学数学里一门名叫离散数学（Discrete mathematics）的课程中的内容，在离散数学的数理逻辑一节中，利用真值表和等值演算法可以化简或推证一些命题，但是当命题的变元的数目较多时，上述方法都显得不方便，所以需要给出把命题公式规范的方法，即把命题公式化成主合取范式和主析取范式的方法。析...
求这个的主析取范式,离散数学
Q-〉P，用析取范式表示，就是Q∨¬P，主析取范式:所有简单合取式都是极小项的析取范式，称为主析取范式。所有简单析取式都是极大项的合取范式称为主合取范式。P-〉(P∧(Q-〉P))=P-〉(P∧(Q∨¬P))=P-〉((P∧Q)∨(P∧¬P))=P-〉(P∧Q)=P∨¬(P∧Q)=P...
离散数学题目求主合取范式和主析取范式
R∧┐Q∧P)∨(┐R∧┐Q∧P)<==> (P∧┐Q∧R)∨(P∧┐Q∧┐R)∨(┐P∧Q∧R)∨(┐P∧┐Q∧R)∨(P∧Q∧┐R)<==> m5∨m4∨m3∨m1∨m6 (主析取范式)<==> M0∧M2∧M7 (主合取范式)
离散数学 求析取范式
r)∨(p∧¬q∧r)∨(¬p∧q∧r)∨(¬p∧¬q∧¬r)∨(¬p∧q∧¬r) 等幂律 得到主析取范式 检查遗漏的极小项，取非，然后合取，得到主合取范式 (p∨q∨¬r)∧(¬p∨¬q∨r)∧(¬p∨¬q∨¬r)...
