懂离散数学的进确定下面的论证过程是否有效p→q∨rp∨￢qr∨q________∴q

P→q∧rp∨¬qr∨q________所以q 1.下面推理的证明前提：非q→p,非q∨r,非r结论：p∧非r2.在下列前提下,结论是否有效（要过程）今天或者天晴或者下 离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急 等边三角形ABC的三边上各有一点P,Q,R,且PQ⊥AC,QR⊥AB,RP⊥BC,AB=9cm,求PC的长 离散数学如何用等值演算法求(p∧q)∨r的主析联范式? 在等边三角形ABC中,点P,Q,R在三边AB,BC,AC上,且PQ垂直BC,QR垂直AC,RP垂直AB.若三角形ABC的 离散数学蕴含公式蕴含公式表中有：┒P,P∨Q → Q为永真式.请问┒P与P∨Q有什么关系,也就是其中的逗号是什么关系?我 离散数学的等价公式中吸收律P∧(P∨Q)=P的证明?不用真值表, 离散数学问题,1、求命题公式(P∨Q)→(R∨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,┐(Q∨R)可演绎出┐P.