(┓p→q)→(┓qvp)的析,合取范式怎么求,不列真值表
合取范式p∨┓q=(p∨┓q)∧(p∨q)∧(┓p∨┓q)
求这道题目的主析取和主合取范式
答:(QVP)∧(Q→P)=(QVP)∧(┐QVP)=PV(┐Q∧Q)=P∧1 = P∧(┐QvQ)=P∧┐Q V P∧Q =m2vm3 (主析)(QVP)∧(Q→P)= (QVP)∧(┐QVP)= ( PVQ)∧(PV┐Q)=M0VM1 (主合)
离散PV(Q^R)→(P^Q^R)的合取范式
=![P^!(P^Q^R)v(Q^R)^!(P^Q^R)] (分配率)=![P^(!Pv!Qv!R)v(Q^R)^(!Pv!Qv!R)]=![(P^!PvP^!QvP^!R)vQ^(R^!PvR^!QvR^!R)] (分配率)=![P^!QvP^!RvQ^R^!P] (消去了P^!P,Q^R^!R,Q^!Q^R,因为它们都为空)=!(P^!Q)^!(P^!R)^!(Q^R...
离散数学问题:求主析取范式:1.(非p→q)→(非qVp) 2.(非p→q)^(q^r...
1,非(q->非q)^非p=非(非qV非p)^非p=q^(p^非p)=q^F=F 2,.(p^q)V(非pVr)=(p^q)V非pVr=(pV非p)^(qV非p)Vr=qV非pVr 我不是很会打数学符号,希望你看得懂,呵呵
离散数学简答
⇔((p∨q)∧¬r)∨p 德摩根定律 ⇔((p∨q)∨p)∧(¬r∨p)⇔(p∨q)∧(¬r∨p)⇔(p∨q∨(r∧¬r))∧(p∨(¬q∧q)∨¬r)⇔(p∨q∨r)∧(p∨q∨¬r)∧(p∨¬q∨¬r)∧(p∨q∨¬r...
用等值演算求下面公式的主析取范式 (﹁p→Q)→(﹁Q V P)
0 1 0 1 1 1 1 1 1 1 1 所以,主析取范式为(┓P∧┓Q)V(P∧┓Q)V(P∧Q)
用等值演算求下面公式的主析取范式 (﹁p→Q)→(﹁Q V P)
P Q (┓P→Q) (┓QVP) (┓P→Q) →(┓QVP)0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 所以,主析取范式为(┓P∧┓Q)V(P∧┓Q)V(P∧Q)