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.