You're failing to apply de Morgan's laws correctly:

(X and Y) => Z

<=>

~Z => (~X or ~Y)