离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教

离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教 为什么P→Q不是公式呢?（离散数学中的命题）如题 离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型（1）﹃（p→q）∧ q （2）（（p→q）∧ p）→q （3）（p→q）∧ q 以上是计算题,如果有数学专家或者老师麻烦解 离散数学中P->(Q->R)是命题公式吗中P->(Q->R)是命题公式吗 离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急 [离散数学]推导如下命题公式是等价的.1.(P^Q)→(~Pv(~PvQ))~PvQ2.(P→Q)^(R→Q)PvR→Q 离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式.请给出证明过程. 离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r 求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦 离散数学求（p→q）↔r 的主析取范式.公式分解 命题公式(P∨Q)→P 的真值是什么 求命题公式 ((p∨q)→r)→p 的主析取范式 离散数学几条简单问题判定下列符号串是否为公式,若是,请给出它的真值表.（1）（p∨q）→p（2）p∧（p→q）→q用等值演算法,证明下列等值式（1）p→（q→r）q→（p→r）(2)p→(q→r)(p→q)→(p 证明┐（P----Q）(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式离散数学的题证明┐（P↔Q）(P∧┐Q)∨(┐P∧Q)，其中P、Q为命题公式 求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式 求命题公式(p∨(q∧r))→(p∧q∧r)的主析取范式 急 离散数学范式问题,急,求详解1.求主合取范式,并求成假赋值 非(q→非p)∧非p2.求公式的主析取范式,并求成真赋值 （非p→q）→（非q∨p） 离散数学命题逻辑推理题条件：非p→非q,p→r,非s∨q 结论：s→r