[Maxima] Logic algebra

Robert Dodier robert.dodier at gmail.com
Wed Apr 9 22:08:34 CDT 2008


On 4/9/08, Alexey Beshenov <al at beshenov.ru> wrote:

> I've done a logic algebra package:
>
>   http://beshenov.ru/maxima/logic/
>
>  It defines operators "AND", "OR", "NOT" (written in uppercase,
>  since "and", "or", "not" are built-in operators for predicates), as well as
>  Sheffer stroke ("NAND"), Peirce arrow ("NOR"), implication ("IMPL"),
>  equivalence ("EQ") and sum modulo 2 ("XOR").

Alexey, thanks a lot. I think this will be useful to many people.
Some random comments.
(1) I'd like to see this stuff merged into maxima/src eventually.
Towards that end I think the operators ought to be renamed
to lowercase. Merging in this stuff would make "and" and "or"
commutative, which has been mentioned on this mailing list
before (and creating noncommutative operators "and_then"
and "or_else").
(2) I suggest renaming "IMPL" to "IMPLIES".
(3) The plural of basis, in English, is bases.
(4) I recommend changing smashedtogethernames
to separated_by_underscores.

>  Could it be placed in the /share/contrib?

OK by me.

best

Robert Dodier


More information about the Maxima mailing list