离散数学，等值演算法判断命题公式的类型8、9两个小题，死活不知道怎么化了，求大神帮忙1.7判断下列命题公式的类型,方法不限.-|||-(1) arrow (p(V)_(q)(V)_(r)).-|||-(2) (parrow -p)arrow -p.-|||-(3) arrow (parrow q)Nq.-|||-(4) (parrow q)arrow (-qarrow T).-|||-(5) (7parrow q)arrow (qarrow -7).-|||-(6) (plambda -p)Leftrightarrow q..-|||-(7) (pV-p)arrow ((qh-q)(-r).-|||-(p←q)→ -(pVq).-|||-((parrow q)A(qarrow r)arrow arrow (parrow r).-|||-(10) ((pVq)arrow r)arrow S.

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

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

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

1.6 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。-|||-(1)pV(q^r)。1.6 设p、q的真值为0;r、s的真值为1,求下列各命题

[单选题]下列命题公式中为重言式的是Ⅰ．((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．Ⅰ、Ⅱ、Ⅲ和Ⅳ

1.12 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值.-|||-(1) (pV(q(N)_(r)))arrow (pNqNr).-|||-(2)

8.求下列公式的主合取范式,再用主合取范式求主析取范式.-|||-(1) (plambda q)arrow q-|||-(2) (parrow q)arrow

[单选题]设α、β是两个不同的平面，m是直线且m属于α，命题p：“m∥β”，命题q：“α∥β”，则命题p是命题q的()。A.充分而不必要条件B.必要而不充分条件

[试题]判断下列命题是真命题还是假命题，如果是假命题，举出一个反例。（1）两个锐角的和是锐角；（2）邻补角是互补的角；（3）同旁内角互补。

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