document.write( "Question 1038288: (X^Y)v(T^R)/~~(RvY) \n" ); document.write( "
Algebra.Com's Answer #652999 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "You need commutation, distribution, \r\n" );
document.write( "constructive dilemma, and double negation\r\n" );
document.write( "\r\n" );
document.write( "Commutation is\r\n" );
document.write( "\r\n" );
document.write( "p^q <-> q^p\r\n" );
document.write( "\r\n" );
document.write( "Distribution is\r\n" );
document.write( "\r\n" );
document.write( "pv(q^r)<-> (pvq)^(pvr)\r\n" );
document.write( "\r\n" );
document.write( "Constructive dilemma is\r\n" );
document.write( "\r\n" );
document.write( "[(p->q)^(r->s)^(pvq)] -> (qvs)\r\n" );
document.write( "\r\n" );
document.write( "Double negation\r\n" );
document.write( "\r\n" );
document.write( "p <-> ~~p\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "==================================\r\n" );
document.write( "\r\n" );
document.write( "1.  (X^Y)v(T^R)      /~~(RvY)\r\n" );
document.write( "\r\n" );
document.write( "2.  (X^Y)<->(Y^X)      Commutation\r\n" );
document.write( "\r\n" );
document.write( "3.  (T^R)<->(R^T)      Commutation\r\n" );
document.write( "\r\n" );
document.write( "4.  (Y^X)v(R^T)        1,2,3, Substitution\r\n" );
document.write( "\r\n" );
document.write( "5.  (Y^X)->Y           Simplification\r\n" );
document.write( "\r\n" );
document.write( "6.  (R^T)->R           Simplification\r\n" );
document.write( "\r\n" );
document.write( "7.  YvR                5,6,1 Constructive dilemma\r\n" );
document.write( "\r\n" );
document.write( "8.  RvY                7, Commutation\r\n" );
document.write( "\r\n" );
document.write( "9.  ~~(RvY)            8, Double negation\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );