document.write( "Question 185647This question is from textbook A Survey of Mathematics with Application
\n" ); document.write( ": Construct a truth table for (~q^p) -> ~q\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Can you please assist me wit this, i don't even know where to start.
\n" ); document.write( "
\n" ); document.write( "

Algebra.Com's Answer #139245 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
Note: the symbol '^' means \"and\", the '~' means \"not\" and '->' means \"implies\"\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Remember, a ^ b is ONLY true if BOTH a and b are true (otherwise it is false)\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "For ~a, simply negate any true statements to get a false (and vice versa)\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Finally, keep in mind that a -> b (a implies b) is only false if \"a\" is true but \"b\" is false.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Here's the basic outline of the table, let me know if you need me to go in depth for any column\r
\n" ); document.write( "\n" ); document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "p   |   q   |   ~q   |   ~q ^ p   |  (~q ^ p) ->  ~q\r\n" );
document.write( "----------------------------------------------------\r\n" );
document.write( "T   |   T   |   F    |      F     |        T\r\n" );
document.write( "T   |   F   |   T    |      T     |        T\r\n" );
document.write( "F   |   T   |   F    |      F     |        T\r\n" );
document.write( "F   |   F   |   T    |      F     |        T\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "
\n" ); document.write( "
\n" );