Chapter 2.2, Problem 50ES

In 47-50(a) use the logical equivalences $p\to q=~p\nu q$ and $p\leftrightarrow q=\left(~p\nu q\right)\Lambda \left(~q\nu p\right)$ to rewrite the given statement forms without using the symbol or and (b) use the logical equivalence $p\nu q=~\left(~p\Lambda q\right)$ to rewrite each statement form using only $\Lambda$ and ~.

$\left(p\to \left(q\to r\right)\right)\leftrightarrow \left(\left(p\Lambda q\right)\to r\right)$