document.write( "Question 1153690: (~p>q)v(pv~q) \n" ); document.write( "
Algebra.Com's Answer #776003 by AnlytcPhil(1807)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "(~p>q)v(pv~q)\r\n" );
document.write( "(~~pvq)v(pv~q), by replacing ~p>q by ~~pvq by material implication rule\r\n" );
document.write( "(pvq)v(pv~q)  , by replacing ~~p by p by double negation rule\r\n" );
document.write( "pvqvpv~q      , by rearrangement properties since all connectives are v\r\n" );
document.write( "(pvp)v(qv~q)  , grouping\r\n" );
document.write( "pvp           , Tertium non datur (Law of Excluded Middle) eliminates qv~q \r\n" );
document.write( "p             , by idempotent law\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
\n" );