How to determine logical equivalence
- Subject: How to determine logical equivalence
- From: Stephan Lukits
- Date: Wed, 05 Aug 2009 09:29:40 +0200
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