¬(P→Q) ⇔ P∧¬Q
君、矛盾の定義分かってる? 書いてみて