On 16 June 2008 10:33, fred.wang at free.fr wrote:
> 2) For the logical operations, maybe we can use infix notations:
> ????????- a => b rather than implies(a,b)
> ????????- a <=> b rather than equivalent(a,b)
>
> Also, I try to translate some operations using combination of Maxima
> functions, but please indicate me if there are more direct functions to do
> that.
It's not very useful unless Maxima has a special package for logic algebra
(I hope I'll write it eventually).
I suggest the following notation
----------------------------------------
not Logical NOT prefix
----------------------------------------
and Logical AND n-ary
----------------------------------------
nand Sheffer stroke infix
----------------------------------------
nor Webb-operation infix
or Peirce arrow
----------------------------------------
or Logical OR n-ary
----------------------------------------
implies Implication infix
----------------------------------------
eq Equivalence n-ary
----------------------------------------
xor Sum modulo 2 n-ary
----------------------------------------
nand, nor, implies, eq, xor are not defined in the current Maxima version.
--
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/20080616/8938de43/attachment.pgp