1.8 用等值演算法证明下列等值式.-|||-(1) (plambda q)V(pcap -q)Leftrightarrow p.-|||-(2) ((p-q)(Aarrow r)leftharpoons (parrow (qAr)).-|||-(3) (parrow q)leftharpoons (pVq)Delta 7(phq).

4.用等值演算法证明下列等值式.-|||-(1) Leftrightarrow (plambda q)V(plambda -q)-|||-(2) ((parro

[单选题]“(p而且q)或者((并非p)而且(并非q))”等值于（）。A.并非(p并且q)B.并非(p或者q)C.并非(要么p，要么q)D.并非(p当且仅当q)

离散数学，等值演算法判断命题公式的类型8、9两个小题，死活不知道怎么化了，求大神帮忙1.7判断下列命题公式的类型,方法不限.-|||-(1) arrow (p(

[多选题] 以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。A . 一次运用选言推理的否定肯定式B . 联言推理的分解式C . 两次运用选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 联言推理的组合式

[多选题] 一p∧q的等值判断有（）。A . p→qB . 一（p←q）C . 一（p→q）D . 一（p∨q）E . 一（q→p）

[单选题]下列与p∨﹁q想等值的命题是（）。A . ﹁（p∧﹁q）B . ﹁p∨qC . ﹁（﹁p∧q）D . ﹁（p→﹁q）

离散数学，用等值公式求证1.7 判断下列命题公式的类型,-|||-(1) arrow (pVq(V)_(r)).-|||-(2) (parrow -p)arro

[单选题]下列命题公式中为重言式的是Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))Ⅱ．(p→(q∨r))→((p→q)∧(p→r))Ⅲ．((p→q)∧(P→r))→((p→r)Ⅳ．((p∨q)∧(p→r))→(p→r)A．ⅢB．Ⅰ和ⅢC．Ⅰ和ⅡD．Ⅰ、Ⅱ、Ⅲ和Ⅳ

[单选题]下述与P∧q具有等值关系的判断是（）.A . 反对关系B . 矛盾关系C . 差等关系D . 下反对关系

Q1 Q2-|||-R2-|||-r 0-|||-P R1-|||-[B]