离散数学里：（p-->q）(!(非)pvq)是怎么得来的?

离散数学里：（p-->q）(!(非)pvq)是怎么得来的? 有关离散数学P->(Q->P)原题是这样的非P->(P->Q)P->(Q->P)请问是怎么样证明的? [离散数学]推导如下命题公式是等价的.1.(P^Q)→(~Pv(~PvQ))~PvQ2.(P→Q)^(R→Q)PvR→Q 离散数学里为什么（p→（r→q））不是合式公式? 离散数学问题：求主析取范式：1.(非p→q)→(非qVp) 2.(非p→q)^(q^r) 谢谢并求主合取范式 1.非(q→非p)^非p 2.(p^q)V(非pVr) 谢谢了! 离散数学命题逻辑推理题条件：非p→非q,p→r,非s∨q 结论：s→r 真值表 分配律 (非P^非Q)^(PVQ)怎么用分配律转换啊?单独P^(PVQ)我就会.PV~Q）^(PVQ)=(~P^P)V(~P^Q)V(~Q^P)^(~QVQ) 这个是怎么得来的。单独P^(PVQ)我就会。 离散数学范式问题,急,求详解1.求主合取范式,并求成假赋值 非(q→非p)∧非p2.求公式的主析取范式,并求成真赋值 （非p→q）→（非q∨p） 已知命题p:|sinx|≤1,命题q:a°=1,下列命题中是真命题的是? A 非pVq B. pVq. C. 非p^非q. D. 非pV非q 求助,一个很简单很基础的大学离散数学选择题下列公式 ( )为重言式． A. ┐P＾┐Q↔PvQ B. (Q→(PvQ))↔(┐Q＾(PvQ)) C. (P→(┐Q→P))↔(┐P→(P→Q)) D. (┐Pv(P＾Q)) ↔Q拜托了,大侠们! 各位高手,看看这题离散数学题目设p：王冬生于1971年,q：王冬生于1972年,说明命题“王冬生于1971年或1972年”既可以符号化为“（p∧非q）∨（非p∧q）”,又可以符号化为“p∨q“的理由. 离散数学证明等值式：(p∧┐q)∨(┐p∧q)（p∨q）∧┐(p∧q) 离散数学(pvR)A非q的对偶式 离散数学求（p→q）↔r 的主析取范式.公式分解 为什么P→Q不是公式呢?（离散数学中的命题）如题 试证明PQ,Q逻辑蕴含P(为离散数学中的逻辑联结符号:双条件） 一道法律逻辑题与只有非P,才非q等值的判断是（）.A、如果非P,则非q B、如果非q,则非P C、如果P,则q D、q并且非P 已知命题p 命题q 那么pVq p^q p∧┐q （┐p∧q pV┐P