Is it legal to distribute the $\land$ or the $\lor$ operators over the $\implies$ operator? For example is it legal for me to to do the following?
$(p\land(p\implies q))\implies q $
$(p\land p) \implies (p\land q) \implies q$
Put more simply: Is the "AND" operator distributive over the "IMPLIES" operator.