求S÷Q，S÷R

第1题：

（)不是正确的推理形式。

A．前提： ~p∧q, p∨~r, r∨s, sÞu 结论： u

B．前提： p∨q, pÛr, ~q∨s 结论： s∨r

C．前提： pÞ(qÞr) 结论： (pÞq)Þ(pÞr)

D．前提： (p∧q)Þr, ~r∨s, ~s, p 结论： q

第2题：

﹁P∨Q∧R®S是以下哪个合式公式的简化形式？

A．((((﹁P)∨Q)∧R)®S)

B．(((﹁P)∨(Q∧R))®S)

C．((﹁(P∨Q)∧R)®S)

D．((﹁P)∨(Q∧(R®S)))

第3题：

11、设有三个多项式，其系数向量分别为q、r、s，现在求它们的乘积，可以使用的命令有（）。

A．conv(q,r,s)

B．conv(conv(q,r),s)

C．conv(q,conv(r,s))

D．conv(conv(s,r),q)

第4题：

33、设有三个多项式，其系数向量分别为q、r、s，现在求它们的乘积，可以使用的命令有（）。

A．conv(conv(q,r),s)

B．conv(q,conv(r,s))

C．conv(conv(s,r),q)

D．conv(q,r,s)

第5题：

证明下列命题公式之间的等价的 （1）（P→Q）∧（R→Q）Û（P∨R）→Q （2）¬（P↔Q）Û（P∨Q）∧¬（P∧Q） （3）¬（P↔Q）Û（P∧¬Q）∨（¬P∧Q） （4）（（Q∧R）→S）∧（R→（P∨S））Û（R∧（P→Q））→S；