(\varphi \Rightarrow \psi)\Leftrightarrow (\neg \varphi \wedge \psi )