设P:他聪明,Q:他用功,命题:“他虽聪明但不用功。”表示正确的是
A P∨Q 
B P∧┐Q 
C P→┐Q
D
P∨┐Q