下列式子中为可满足式的是______
A．(P→﹁P)→﹁P
B．﹁(Q→P)∧P
C．(﹁P→Q)→(Q→﹁P)
D．
【正确答案】
C
【答案解析】
可采用真值表法。
下列式子中为可满足式的是______
A．(P→﹁P)→﹁P
B．﹁(Q→P)∧P
C．(﹁P→Q)→(Q→﹁P)
D．
可采用真值表法。