Question 1062000
<pre>
p &#8594;v ( a &#8594;~b)

That doesn't make sense.  
You can't put two connectives together &#8594;v