[newbie] comparing logical expressions

On 2013-12-13, Barton Willis <willisb at unk.edu> wrote:

> (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

For the record, that's a different package than the one mentioned by OP,
which (if I'm not mistaken) can be found at:
http://cs.swan.ac.uk/~csoliver/ok-sat-library/OKplatform/ExternalSources/sources/Maxima/logic-mac-2.11.tar.bz2

There seems to be some overlap, and I'm sure they're both useful. No
judgement here as to which is preferable.

best,

Robert Dodier