SOLUTION: Can someone please help me with these truth tables? When I get my tax check I am planning on making a donation to the site because this site has really helped me out alot. This i

Algebra ->  Conjunction -> SOLUTION: Can someone please help me with these truth tables? When I get my tax check I am planning on making a donation to the site because this site has really helped me out alot. This i      Log On


   



Question 261189: Can someone please help me with these truth tables? When I get my tax check I am planning on making a donation to the site because this site has really helped me out alot. This is 3 tables out of a slew I have and I really need help on these, so I can do the rest of my work.
1) (q ^ ~q) <-> q
2)(~p ^ q) -> p
3) q -> (q V ~q)
Thank you soooo much in advance for your time and effort to help me...

Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
# 1

Is there supposed to be a 'p' somewhere in there? Please double check it.

# 2
I'll do the second one to get you going. If this isn't enough, either ask me or repost.

Start with a blank table with 4 rows and with the headers of p, q, ~p, ~p ^ q, (~p ^ q) -> p. The headers are simply smaller pieces of (~p ^ q) -> p

pq~p~p ^ q(~p ^ q) -> p
     
     
     
     



Fill in T, T, F, F in the first column and T, F, T, F in the second. This will exhaust all of the possible truth combinations of p and q

pq~p~p ^ q(~p ^ q) -> p
TT   
TF   
FT   
FF   



Negate the first column p to get ~p for the third column

pq~p~p ^ q(~p ^ q) -> p
TTF  
TFF  
FTT  
FFT  



Recall that p ^ q is only true when BOTH p and q are true. Otherwise it is false. So ~p ^ q is only true when the corresponding entries of the columns ~p and q are both T, or otherwise it's false. Use this info to fill in the fourth column.

pq~p~p ^ q(~p ^ q) -> p
TTFF 
TFFF 
FTTT 
FFTF 



Now remember that p -> q is only false when p is true, but q is false (otherwise, it is true). This is like me claiming "if it rains, then it gets wet". If it does rain, but it does not get wet, then my statement is false. Fortunately for us, much of the fourth column is false which will make much of the last column true. Let's now use this information to complete the table.


pq~p~p ^ q(~p ^ q) -> p
TTFFT
TFFFT
FTTTF
FFTFT