单项选择题

下列命题公式中是矛盾式的有()。

A.(p→¬p)→¬p
B.¬(q→p )∧p
C.(¬p →q)→(q→¬p )
D.(p∨q)→r