Question 812001
<pre>
p &#8594; (q &#8744; p)

The rule for a &#8744; b "It is F only when a is F and b is F, otherwise it's T".
The rule for a &#8594; b "It is F only when a is T and b is F, otherwise it's T". 


p | q | q &#8744; p | p &#8594; (q &#8744; p) |
T | T |   T   |   T          |
T | F |   T   |   T          |
F | T |   T   |   T          |
F | F |   F   |   T          |

So p &#8594; (q &#8744; p) is a tautology because the truth table contains only T's.

Edwin</pre>