1.
The negation of the Boolean expression xyx \Rightarrow y is equivalent to: