Advanced Search

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

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

cimbriano 32 Maple
January 11 2009
0

My professor wants us to verify the following

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

using the following Maple equivalent statement

with(Logic):

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...