单项选择题

命题公式(P∨Q)→Q为()

A.矛盾式
B.可满足式
C.重言式
D.合取范式