1.
The negation of the Boolean expression x⇒yx \Rightarrow y is equivalent to: