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").
It does
* truth tables,
* conversion to the Boolean ({AND, OR, NOT}) and Zhegalkin ({AND, XOR, 1})
basises,
* test on completeness (by Post's theorem),
* perfect normal forms,
* differentiation.
(Also I have some draft code for minimization, but it isn't very useful since
it represents the pure Quine-McCluskey algorithm and has to be improved.)
Could it be placed in the /share/contrib? Could anyone try and review it?
Thank you in advance.
--
Alexey Beshenov <al at beshenov.ru>
http://beshenov.ru/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://www.math.utexas.edu/pipermail/maxima/attachments/20080409/b9819891/attachment.pgp