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