下列命题公式为矛盾式的是

下列命题公式为矛盾式的是
A、¬(P→Q)⋀Q⋁R
B、(P⋁(P⋀Q))⟷ P
C、¬(P⋀Q)⋁(¬P⋀¬Q)
D、¬(P→Q)⋀Q
【正确答案】：D