I have a problem that says prove that p^(p exclusive or q) --> (p-->q) is NOT a tautology. I've tried converting both conditional statements into ~p v q but I still get a tautology.
Do I use truth tables to prove that this isn't a tautology? If not by what other means. Or did I just make a mistake somewhere?