On Thu, 12 Dec 2013, Richard Fateman wrote:
> So far as I can tell, there is no program logic_equiv in Maxima.
>
> Where did you read about it, and does the documentation mention
> any file you have to load first?
>
>
I found it here:
http://stackoverflow.com/questions/15449017/wxmaxima-compare-logical-expressions
I also tried to first give the command
load("logic.mac");
But the package was not found, so I hoped it would be a standard part of
Maxima meanwhile. Can you tell me how to install it?
I guess it is on this page:
https://github.com/andrejv/discrete.mac/blob/master/logic.mac
But I don't know the install instructions
thanks in advance
hugo