document.write( "Question 935456: 1. A→B
\n" ); document.write( "2. A→~(C∨B) ∴ ~A\r
\n" ); document.write( "\n" ); document.write( "1. (A&~B)&(~C∨D)
\n" ); document.write( "2. ~((D&A)&~B) ∴ ~C
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #568714 by Edwin McCravy(20056)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.	A→B\r\n" );
document.write( "2.	A→~(C∨B) ∴ ~A \r\n" );
document.write( "\r\n" );
document.write( "3.      A→(~C&~B)      2, DeMorgan's theorem\r\n" );
document.write( "4.      A→~B           3, Decomposition (simplification) of a conjunction\r\n" );
document.write( "5.      ~B→~A          1, Modus Tollens\r\n" );
document.write( "6.      ~~B→~A         4, Modus Tollens\r\n" );
document.write( "7.      B→~A          7, Double negation\r\n" );
document.write( "8.      B∨~B          Tautology (law of excluded middle)\r\n" );
document.write( "9.       ~A             7,5,8, disjunctive elimination (disjunctive syllogism)      \r\n" );
document.write( "\r\n" );
document.write( " \r\n" );
document.write( "\r\n" );
document.write( "1.	(A&~B)&(~C∨D)\r\n" );
document.write( "2.	~[(D&A)&~B] ∴ ~C\r\n" );
document.write( "\r\n" );
document.write( "3.      ~[D&(A&~B)]      2,Association\r\n" );
document.write( "4.      ~D∨~(A&~B)        3,DeMorgan's theorem \r\n" );
document.write( "5.      A&~B             1,Decomposition (simplification) of a conjunction  \r\n" );
document.write( "6.      ~D               4,5, disjunctive elimination (disjunctive syllogism) \r\n" );
document.write( "7.      ~C∨D             1,Decomposition (simplification) of a conjunction\r\n" );
document.write( "8.      ~C               7,6, disjunctive elimination (disjunctive syllogism) \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );