(~p>q)v(pv~q)
(~~pvq)v(pv~q), by replacing ~p>q by ~~pvq by material implication rule
(pvq)v(pv~q) , by replacing ~~p by p by double negation rule
pvqvpv~q , by rearrangement properties since all connectives are v
(pvp)v(qv~q) , grouping
pvp , Tertium non datur (Law of Excluded Middle) eliminates qv~q
p , by idempotent law
Edwin
