I did this:
(1) From http://sourceforge.net/apps/phpbb/maxima/viewtopic.php?f=3&t=9, follow the link to
https://github.com/andrejv/discrete.mac/wiki/discrete.mac
(2) download the zip file and unzip it. To try it out, I saved the file to the Windows download folder and
unzipped it there. You might like to save unzip it to a folder where you keep Maxima files.
(3) I didn't uzip the file to a location Maxima could find, so from a Maxima prompt, I did
(%i1) file_search_maxima : cons("C:/Users/Barton/Downloads/andrejv-discrete.mac-53fac0a/$$$.{mac}", file_search_maxima)$
(%i2) file_search_lisp : cons("C:/Users/Barton/Downloads/andrejv-discrete.mac-53fac0a/$$$.{lisp}", file_search_lisp)$
(%i3) load("C:/Users/Barton/Downloads/andrejv-discrete.mac-53fac0a/logic.mac")$
Of course, you will need to adjust the pathnames. For permanent installation, unzip the file to a folder in
Maxima's search path.
Examples:
(%i4) boolean_simp(a and a);
(%o4) a
(%i5) boolean_equiv((a implies b) , not (a and not b));
(%o5) true
I don't know anything about this package.
--Barton
________________________________________
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?