A. P→(P∨Q∨R) B. (P→┐P)→┐P C. ┐(Q→Q)∧Q D. ┐(Q∨┐P)→(P∧┐P)
A. ﹁A∨﹁B B. ﹁(A∨B) C. ﹁A∧﹁B D. A→B
A. 如果他没有努力,他将不成功。 B. 如果他成功,他就努力。 C. 如果他不成功,他就没有努力。 D. 如果他不成功,他就努力。
A. ¬Q→¬P B. ¬P→¬Q C. ¬P→Q D. P→¬Q
A. 永真式 B. 永假式 C. 可满足式 D. 合取范式