Question: Looking for help with an equivalent statement- I think!!!

My professor wants us to verify the following

(p \/ q) V r = p V (q \/ r)

using the following Maple equivalent statement


Equivalent(a &and (a &or b),a);


The issue I have is I really do not know that the statement is asking for and where it would go. 

Thanks in advance for any help.

Please Wait...