\lnot(\varphi\Rightarrow\psi)\,\Leftrightarrow\,(\varphi\land\lnot\psi).