Logic algebra package

• Subject: Logic algebra package
• From: Alexey Beshenov
• Date: Wed, 7 Jan 2009 09:36:59 +0300

Please, check my new logic algebra package:
  http://beshenov.ru/maxima/logic/logic-mac-2.1.tar.bz2

I've added new operators by the following code:

  nary ("nand",62)$
  nary ("nor",61)$
  infix ("implies",59)$
  nary ("eq",58)$
  nary ("xor",58)$

Maybe it is better to eventually declare them in src/.

The simplifier is logic_simp, but I think it should be merged somehow 
with the basic Maxima simplifier. (Any suggestions?)

I'll add it to share/contrib/ soon.

-- 
Boomtime, Chaos 7 YOLD 3175
Alexey Beshenov  http://beshenov.ru/

• Prev by Date: memory
• Next by Date: Logic algebra package
• Previous by thread: load(true)
• Next by thread: Logic algebra package
• Index(es):
  • Date
  • Thread