注：此题所有空白处填写0或1,填写其他符号错误。若想证明((p→q)∧(q→r))→(p→r)是永真式,可令p→r为0，推出p= ,r= 。若q为1，则p→q和q→r分别为 和 。于是，前件(p→q)∧(q→r)为 。若q为0，则p→q和q→r分别为0和1。于是，前件(p→q)∧(q→r)为0。

若p=1,q=0,r=1,则下列命题公式真值为1的是()。 A: ¬(p∨q)↔(r→p) B: (p→q)∧(p→r) C: (p→q)→(p→r) D: p∧(q∨p)→q

用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)

(2015B)使p=1,q=1,r=0为成假解释的命题公式是 A: r→(p∧q) B: p→(q→r) C: (p∨q)↔￢r D: (￢p→r)↔q

如果设P=1,Q=0,R=0:,则此命题公式P∧Q→R真值为____。

推理证明:(p→q)∧(r→s),(q→t)∧(s→u),Ø(t∧u),p→rÞØp

( )不是正确的推理形式。 A: 前提： p∨q, pÛr, ~q∨s 结论： s∨ B: 前提： ~p∧q, p∨~r, r∨s, sÞu 结论： u C: 前提： pÞ(qÞr) 结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p 结论： q

‌( )不是正确的推理形式。‏ 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

设命题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)

‎P，Q，R都是4bit的输入矢量，下面哪一种表达形式是正确的（）‌ A: input [3:0] P,Q,R B: input [3:0] P,Q,R C: input P,Q,R[3:0] D: input P[3:0],Q,R E: input P[3:0],Q[3:0],R[3:0] F: input [3:0] P, [3:0]Q, [3:0]R