document.write( "Question 1155133: Use an ordinary proof (not conditional or indirect proof):
\n" ); document.write( "
\n" ); document.write( "1. K∨(S • N)
\n" ); document.write( "2. ∼(K •∼Q)
\n" ); document.write( "3. ∼(N •∼Q) / Q\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #777698 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1. K∨(S • N) \r\n" );
document.write( " 2. ∼(K •∼Q) \r\n" );
document.write( " 3. ∼(N •∼Q) / Q\r\n" );
document.write( "\r\n" );
document.write( " 4. ~K∨~~Q        2, DeMorgan's law\r\n" );
document.write( " 5. ~K∨Q          4, Double negation\r\n" );
document.write( " 6. ~N∨~~Q        3, DeMorgan's law\r\n" );
document.write( " 7. ~N∨Q          6, Double negation\r\n" );
document.write( " 8. Q∨~K          5, Commutation\r\n" );
document.write( " 9. Q∨~N          7, Commutation\r\n" );
document.write( "10. (Q∨~K)•(Q∨~N) 8,9, Conjunction\r\n" );
document.write( "11. Q∨(~K•~N)     10, Distribution\r\n" );
document.write( "12. Q∨~(K∨N)      11, DeMorgan's law\r\n" );
document.write( "13. (K∨S)•(K∨N)   1, Distribution\r\n" );
document.write( "14. (K∨N)•(K∨S)   13, Commutation\r\n" );
document.write( "15. K∨N           14, Simplification\r\n" );
document.write( "16. ~~(K∨N)       15, Double negation\r\n" );
document.write( "17. ~(K∨N)∨Q      12, Commutation\r\n" );
document.write( "18. Q             17,16, Disjunctive syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
\n" );