请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.证明下列命题公式之间的等价的（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；
- 2.在指派(P,Q,¬R,¬S)下真值为1的有( )选项： A:(P∧(Q∧R))∨¬((P∨Q)∧(R∨S)) B:(¬(P∧Q)∨¬R)∨(((¬P∧Q)∨¬R)∧S) C:(¬(P∧Q)∨¬R)∨((Q↔¬P)→(R∨¬S)) D:(P∨(Q→(R∨¬P)))↔(Q∨¬S)
- 3.下列字符串是否是命题公式。（1）（P→Q）↔（¬Q→¬P）（2）（Q∧（P→Q））→（P→Q）（3）（¬Q→P）→（P→Q）（4）（P∨Q→R↔）S（5）（P∧Q）↔P（6）（P→¬P）¬P（7）（P→QR→Q）（8）¬（P↔Q）Û（P∨Q）∧¬（P∧Q）（9）（P∧¬Q）∨（¬P∧Q）（10）（（Q∧R）→S）∧（R→（P∨S））∧（R∧P→Q）→S
- 4.下列符号串不是合式公式的是 选项： A、（﹁P∧Q→R）∨S B、P∨Q↔∧Q C、P→﹁Q↔﹁R∧S D、（﹁P∨Q）∧R
- 5.求公式(P∧﹁R)∧T∧(P∨F)∧(﹁P∨﹁Q)的对偶式（ ） 选项： A、(P∧﹁R)∧F∧(P∨T)∧(﹁P∨﹁Q) B、(P∨R)∨F∨(P∧T)∨(P∧Q) C、(P∨﹁R)∨F∨(P∧T)∨(﹁P∧﹁Q) D、(P∨﹁R)∨T∨(P∧F)∨(﹁P∧﹁Q)
- 6.以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有
- 7.设命题P、Q的真值为“1“,命题R,S的真值为”0”,则下列哪个命题的真值为”0“ 选项： A、P∧Q∧R B、┑(P∧Q)∨┑R C、(P →┑R)∧(Q∧┑S) D、(P →Q)∧(R→S)
- 8.以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有
- 9.以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有
- 10.P，Q真值为0；R，S真值为1。则(P∧(R∨S))→((P∨Q)∧(R∧S))的真值为 .
- 11.设有命题：“马路上骑自行车不许带人，不许闯红灯，不许逆行，否则罚款5～10元。”。利用下列符号：M：某人在马路上骑自行车；P：某人骑车带人；R：某人骑车逆行；Q：某人骑车闯红灯；S：某人被罚款5～10元。请用给定的符号表示上述命题。A．(M→ ┐P ∧ ┐Q ∧ ┐R) ∧ (P ∨ Q ∨ R →S )B．( M ∧ ┐P ∧ ┐Q ∧ ┐R) ∧( P ∨ Q ∨ R →S ）C．( M→ ┐P ∧ ┐Q ∧ ┐R) ∨ (P ∨ Q ∨ R →S )D．( M→ ┐P ∧ ┐Q ∧ ┐R) ∧ (P ∨ Q ∨ R ∧ S )
- 12.设命题：“马路上骑自行车不许带人。不许闯红灯，不许逆行，否则罚款5～10元。”。利用下列符号：M：某人在马路上骑自行车；P：某人骑车带人；R：某人骑车逆行；Q：某人骑车闯红灯；S：某人被罚款5～10元。请用给定的符号表示上述命题。 选项： A、 (M→┐P∧┐Q∧┐R)∧(P∨Q∨R→S) B、(M∧┐P∧┐Q∧┐R)∧(P∨Q∨R→S) C、 (M→┐P∧┐Q∧┐R)∨(P∨Q∨R→S) D、(M→┐P∧┐Q∧┐R)∧(P∨Q∨R∧S)
- 13.设有命题：“马路上骑自行车不许带人，不许闯红灯，不许逆行，否则罚款5～10元。”。利用下列符号：M：某人在马路上骑自行车；P：某人骑车带人；R：某人骑车逆行；Q：某人骑车闯红灯；S：某人被罚款5～10元。请用给定的符号表示上述命题。 选项： A、 (M→┐P∧┐Q∧┐R)∧(P∨Q∨R→S) B、(M∧┐P∧┐Q∧┐R)∧(P∨Q∨R→S） C、(M→┐P∧┐Q∧┐R)∨(P∨Q∨R→S) D、(M→┐P∧┐Q∧┐R)∧(P∨Q∨R∧S)
-
14.若有以下程序 #include
int *f(int *s, int *t) { int k; if (*s < *t) { k = *s; *s=*t; *t=k; } return s; } main() { int i=3, j=5, *p=&i, *q=&j, *r; r=f(p,q); printf("%d,%d,%d,%d,%d\n", i, j, *p, *q, *r); }则程序的输出结果是( ) -
15.若有以下程序 #include
int *f(int *s,int *t) { int *k; if (*s < *t){ k = s; s=t; t=k; } return s; } main() { int i=3, j=5, *p=&i, *q=&j, *r; r=f(p,q); printf("%d,%d,%d,%d,%d\n", i, j, *p, *q, *r); }则程序的输出结果是( ) - 16.求公式(P→(Q∧R))∧(¬P→(¬Q∧¬R))的主析取范式 选项： A、(P∧Q∧R)∨(¬P∧¬Q∧R) B、(P∧Q∧R)∨(¬P∧¬Q∧¬R) C、(P∧Q∧¬R)∨(¬P∧¬Q∧¬R) D、(P∧Q∧R)∨(¬P∧Q∧¬R)
- 17.(p∧q)∨r 其中 p∧q ⟺(p∧q∧￢r)∨(p∧q∧r) r ⟺(￢p∧￢q∧r)∨(￢p∧q∧r)∨( )∨(p∧q∧r)
- 18.求公式(P→(Q∧R))∧(¬P→(¬Q∧¬R))的合取范式选项： A:(¬P∨Q)∧(P∨¬Q)∧(P∨¬R); B:(¬P∨R)∧(P∨¬Q)∧(P∨¬R); C:(¬P∨Q)∧(¬P∨R)∧(P∨¬Q); D:(¬P∨Q)∧(¬P∨R)∧(P∨¬Q)∧(P∨¬R)
