[Maxima] How to determine logical equivalence

[Stephan Lukits]

Hello,
is there something like:

(%i1) (am and (gg or gn)) equiv ((am and gg) or (am and gn));
(%o1) true

Thanks for any help, regards
Stephan