Use the logical equivalencies to verify the following logical equivalency. Supply the name of the formula you use in each step:

$($p$^($~$($~p$$q$)))($p$^$q$)=$ p