document.write( "Question 568976: Construct a truth table for (p ^ q) -> ~q Be sure to include all intermediate steps on your table.\r
\n" ); document.write( "\n" ); document.write( "Because this has no assigned statements to it, I am confused as to how I would solve this.
\n" ); document.write( "

Algebra.Com's Answer #367186 by Theo(13342)\"\" \"About 
You can put this solution on YOUR website!
you create a truth table that includes columns for:
\n" ); document.write( "p
\n" ); document.write( "q
\n" ); document.write( "~q
\n" ); document.write( "(p ^ q)
\n" ); document.write( "(p ^ q) -> ~q
\n" ); document.write( "your table would look like this:
\n" ); document.write( "\"$$$$\"
\n" ); document.write( "your table needs 2 rows per variable.
\n" ); document.write( "the number of rows in your table is equal to 2 raised to the power of the number of variables.
\n" ); document.write( "in this case the number of rows is 2^2 = 4
\n" ); document.write( "if 3 variables, the number of rows is 2^3 = 8
\n" ); document.write( "if 4 variables, the number of rows is 2^4 = 16
\n" ); document.write( "this is required to capture all of the possible combinations for all of the variables in combination.
\n" ); document.write( "your table only requires 2 rows because you only have 2 variables.
\n" ); document.write( "they are p and q.
\n" ); document.write( "the possible combinations for p and q are:
\n" ); document.write( "TT, TF, FT, FF
\n" ); document.write( "if you have 3 variables, then the total combinations would be 8 as shown here:
\n" ); document.write( "TTT, TTF, TFT, TFF, FTT, FTF, FFT, FFF
\n" ); document.write( "you only have 2 variables so we have 4 rows only as shown in the table.
\n" ); document.write( "~q is the revere of q.
\n" ); document.write( "when q is true, ~q is false.
\n" ); document.write( "when q is false, ~q is true.
\n" ); document.write( "this can be seen in the table.
\n" ); document.write( "(p ^ q) is true if both p and q are true, otherwise it is false.
\n" ); document.write( "this is also shown in the table.
\n" ); document.write( "the only time (p ^ q) is true is when p is true and q is true.
\n" ); document.write( "(p ^ q) -> ~q is only false if (p ^ q) is true and ~q is false.
\n" ); document.write( "otherwise it is true.
\n" ); document.write( "this can also be shown in the table.
\n" ); document.write( "
\n" ); document.write( "
\n" );