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