document.write( "Question 479270: I need to construct a truth table. (p \"and\" ~q)--q \n" ); document.write( "

Algebra.Com's Answer #328380 by Theo(13342) $\"\"$ $\"About$

You can put this solution on YOUR website!
here's your truth table.
\n" ); document.write( "

\r\n" );
document.write( "       p   q   ~q   (p^~q)   (p^~q)->q   (p^~q)<->q\r\n" );
document.write( "       T   T    F      F          T           F\r\n" );
document.write( "       T   F    T      T          F           F\r\n" );
document.write( "       F   T    F      F          T           F\r\n" );
document.write( "       F   F    T      F          T           T\r\n" );
document.write( "

\n" ); document.write( "if q is true, then ~q is false.
\n" ); document.write( "if q is false, then ~q is true.
\n" ); document.write( "(p^~q) is only true if both p and ~q are true,otherwise it's false.
\n" ); document.write( "(p^~q)->q is only false if (p^~q) if True and q is false.
\n" ); document.write( "(p^!q)<->q is only True if both are True and if both are false. If they are mixed (TF or FT), then it's false.
\n" ); document.write( "A->B means that A implies B which states that \"if A is true, then B is true\".
\n" ); document.write( "A<->B means that A is equivalent to B which means that \"if A is true, then B is true and if B is true, then A is true\". This is also stated as \"A is true if and only if B is true\". \n" ); document.write( "

\n" );