Here's the question you clicked on:
tux
[Discrete mathematics] Negate: http://i.imm.io/DC6a.jpeg I have no idea how to solve it.
Well, I could give a hint, but I don't think I get your question: For statements: \[ P\implies Q\\ \neg(P\implies Q)=P\wedge\neg Q \]