document.write( "Question 519282: Construct a truth table for q^ ~p \n" ); document.write( "
Algebra.Com's Answer #345512 by Edwin McCravy(20059)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "Construct a truth table for q ^ ~p\r\n" );
document.write( "\r\n" );
document.write( "I'll walk yoiu through it.  Pay attention:\r\n" );
document.write( "\r\n" );
document.write( "You begin with this:\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1\r\n" );
document.write( "Case 2\r\n" );
document.write( "Case 3\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "There are four cases \r\n" );
document.write( "\r\n" );
document.write( "Case 1:  p has truth value T,  q has truth value T\r\n" );
document.write( "Case 2:  p  \"    \"     \"   T,  q  \"    \"     \"   F\r\n" );
document.write( "Case 3:  p  \"    \"     \"   F,  q  \"    \"     \"   T\r\n" );
document.write( "Case 4:  p  \"    \"     \"   F,  q  \"    \"     \"   F\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Every time I complete a case I will color it red:\r\n" );
document.write( "\r\n" );
document.write( "For case 1, temporarily replace the 3 p's with T's and the 2 q's with T's\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T   ~T   T ^ ~T\r\n" );
document.write( "Case 2\r\n" );
document.write( "Case 3\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "Then erase the 2 ~T's and replace them by F's\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F   T ^  F\r\n" );
document.write( "Case 2\r\n" );
document.write( "Case 3\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "Now use the rule for ^ which says we replace T ^ T by T and anything else by F\r\n" );
document.write( "So we erase the T ^ F and replace it by F\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2\r\n" );
document.write( "Case 3\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "and we are done with Case 1, so we color it red.\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "\r\n" );
document.write( "---------------------------------\r\n" );
document.write( "\r\n" );
document.write( "For case 2,  temporarily replace the 3 p's with T's and the 2 q's with F's\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F   ~T   F ^ ~T\r\n" );
document.write( "Case 3\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "Then erase the 2 ~T's and replace them by F's\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F    F   F ^  F\r\n" );
document.write( "Case 3\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "Now use the rule for ^ which says we replace T ^ T by T and anything else by F\r\n" );
document.write( "So we erase the F ^ F and replace it by F\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F    F     F\r\n" );
document.write( "Case 3\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "and we are done with Case 2, so we color it red.\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F    F     F\r\n" );
document.write( "Case 3\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "---------------------------------\r\n" );
document.write( "\r\n" );
document.write( "For case 3, temporarily replace the 3 p's with F's and the 2 q's with T's\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F    F     F\r\n" );
document.write( "Case 3   F   T   ~F   T ^ ~F\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "Then erase the 2 ~F's and replace them by T's\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F    F     F\r\n" );
document.write( "Case 3   F   T    T   T ^ T\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "Now use the rule for ^ which says we replace T ^ T by T and anything else by F\r\n" );
document.write( "So we erase the T ^ T and replace it by T\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F    F     F\r\n" );
document.write( "Case 3   F   T    T     T\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "and we are done with Case 3, so we color it red.\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F    F     F\r\n" );
document.write( "Case 3   F   T    T     T\r\n" );
document.write( "Case 4\r\n" );
document.write( "\r\n" );
document.write( "---------------------------------\r\n" );
document.write( "\r\n" );
document.write( "For case 4, temporarily replace the 3 p's with F's and the 2 q's with T's\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F    F     F\r\n" );
document.write( "Case 3   F   T    T     T\r\n" );
document.write( "Case 4   F   F   ~F   F ^ ~F \r\n" );
document.write( "\r\n" );
document.write( "Then erase the 2 ~F's and replace them by T's\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F    F     F\r\n" );
document.write( "Case 3   F   T    T     T\r\n" );
document.write( "Case 4   F   F    T   F ^ T\r\n" );
document.write( "\r\n" );
document.write( "Now use the rule for ^ which says we replace T ^ T by T and anything else by F\r\n" );
document.write( "So we erase the F ^ T and replace it by F\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F    F     F\r\n" );
document.write( "Case 3   F   T    T     T\r\n" );
document.write( "Case 4   F   F    T     F\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "and we are done with Case 4, so we color it red.\r\n" );
document.write( "\r\n" );
document.write( "         p   q   ~p   q ^ ~p\r\n" );
document.write( "Case 1   T   T    F     F\r\n" );
document.write( "Case 2   T   F   ~T     F\r\n" );
document.write( "Case 3   F   T    T     T\r\n" );
document.write( "Case 4   F   F    T     F\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "And we're done with the whole truth tablw.  You can learn to do \r\n" );
document.write( "these case by case without erasing anything, by doing those steps \r\n" );
document.write( "in your head.  It isn't hard.\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );