单项选择题

P®(P∧Q)的类型是()。

A.重言式
B.矛盾式
C.非重言可满足式