TRUE and FALSE.
>> TRUE and FALSE; FALSE
x or (not x).
>> x or (not x); TRUE
This paper shows that in comparison to other commercial systems, the
public domain system MuPAD, version 1.2.2, makes a very good impression.
You can get MuPAD by anonymous ftp from
ftp.uni-paderborn.de (main site) or
in France from