After 100 or so tries I got it.

Thank you for your help.

I was thinking that, but I obviously am not inputting things correctly.  I am trying to check

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

for equivalence.  I keep getting the following error message:

Error, invalid input:  Logic:-Equivalent uses a 2nd argument, e2, which is missing

I have tried it a bunch of different ways and keep getting the same message.

I am at my wits end!