命题公式G=(P∧Q)→R,则G共有____个不同的解释;把G在其所有解释下所取真值列成一个表,称为G的 ____ ;P,Q,R解释依次是(0,1,0)则G的真值为 ____ (1或0)。
查看答案
下列公式中为永真式的是( )
A. P→(P∨Q∨R)
B. ┐(Q→P)∧P
C. (P→Q)→(Q→┐P)
D. (P∧┐P) ←→Q
下列各式中不是重言式的是( )
A. Q→(P∨Q)
B. P∧Q→P
C. ┐(P∧┐Q)∧(┐P∨Q)
D. (P→Q) ←→(┐P∨Q)
三种人因安全设计方式包括失误排除设计、失误预防设计和: