Well, as far as I know, Maxima doesn't define a logic_equiv function, so
it's not particularly surprising that it doesn't do anything useful. Maxima
doesn't even have built-in simplification for the simplest cases, e.g. (a
and b and a).
Alexey Beshenov wrote a package with some useful functions a few years ago,
but I can't find it any longer. I am actually working on some functions for
operating on boolean expressions, but they're not done yet.
The to_poly_solve package has some very basic simplifications of boolean
expressions, using %and/%or instead of and/or. Thus:
load(to_poly_solve)$
a %and b %and a => a %and b
But I don't believe it handles your problem.
-s
On Thu, Dec 12, 2013 at 9:18 AM, Hugo Coolens <hugo.coolens at kuleuven.be>wrote:
> In a first attempt to use Maxima voor comparing truth values I entered
> this:
> (%i1) test1:(A and B) or C;
> (%o1) (A and B) or C
> (%i2) test2:(A or C) and (B or C);
> (%o2) (A or C) and (B or C)
> (%i3) logic_equiv(test2, test1 );
> (%o3) logic_equiv((A or C) and (B or C), (A and B) or C)
>
> I hoped to see true as a result, unfortunately nothing happens.
> What am I doing wrong?
> thanks in advance
> hugo
>
> p.s. I'm using Maxima 5.24.0
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>