Question 931326
<pre>
p  q  p->q  p^(p->q)  p^q   p^(p->q)=p^q
T  T   T       T       T         T
T  F   F       F       F         T
F  T   T       F       F         T
F  F   T       F       F         T
</pre>