$[(\sim p \vee q) \wedge p ] \Rightarrow q $
What should be done next in order to apply direct proof to the example above?
The following process has been already done but seemingly it's incorrect:
1st. Apply distributive property
2nd. After applying complementation it results into $[ F \vee (q \wedge p) ]$
3rd. Applying distributive property a second time.
Eventualy the result is $q \wedge P$ , which cannot conclude anything... what shall I do?