A $WFF$ that is equivalent to the $WFF$ $x=> y$ is :
$y=>x$
~$y=>x$
~$y=>$ ~$x$
$y=>$ ~$x$
64.3k questions
77.9k answers
244k comments
80.0k users