I'm trying to get WolframAlpha to construct a truth table for the statement: ~q → ~p. My input, "truth table not q then not p" doesn't yield the desired result. Would you suggest an alternative wording or notation that would be more readily processed by Wolfram?