You can use WolfromAlpha (Click on the link to see some examples) for this purpose. For example if you want to see the Truth Table of $P \wedge \neg Q$ you need to search P and not Q.
424 questions
364 answers
99 comments
665 users