Pernyataan yang ekuivalen ~(p=>q) adalah

~ (p⇒q) ≡ p ∧ ~q

mudah mudahan benar 🙂

Jawabannya implikasi diubah menjadi atau dan p dan q di negasi seperti berikut ini = ~p v ~q