Alright so I have to make a truth table of the following to prove its a Tautology, meaning the whole value of the table is true. I have an issue of sometimes thinking things are correct when I am really messing up on the table somewhere. Let me show you what the problem is, and my solution. If someone could double check this for me that would be very awesome. Forgive me if my coding isnt right... please let me know.

-> = implies but I think u all know this lol.

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

Code:

p q p->q ~q ~q ^ (p->q) ~p
T T T F F F T
T F F T F F T
F T T F F T T
F F T T T T T