document.write( "Question 1157678: 1. A -> (B • C)
\n" ); document.write( "2. ~[(B • D) • C]
\n" ); document.write( "3. D
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #780861 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "You left off the conclusion.  However, I will guess it was supposed to be ~A\r\n" );
document.write( "\r\n" );
document.write( " 1. A -> (B • C)\r\n" );
document.write( " 2. ~[(B • D) • C]\r\n" );
document.write( " 3. D                   /~A\r\n" );
document.write( "\r\n" );
document.write( " 4. ~[B • (D • C)]          2, Association\r\n" );
document.write( " 5. ~[B • (C • D)]          4, Commutation\r\n" );
document.write( " 6. ~[(B • C) • D]          5, Association\r\n" );
document.write( " 7. ~(B • C) v ~D           6, DeMorgan's Law\r\n" );
document.write( " 8. ~D v ~(B • C)           7, Commutation\r\n" );
document.write( " 9. ~~D                     3, Double Negation\r\n" );
document.write( "10. ~(B • C)                8,9 Disjunctive Syllogism\r\n" );
document.write( "11. ~A                      1,10 Transposition\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );