next up previous contents
Next: Acknowledgement. Up: Wester's test suite Previous: Translation

Boolean Logic

Problem :evaluate TRUE and FALSE.

>> TRUE and FALSE;

                                   FALSE

Problem :simplify 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 ftp.inria.fr.





Andre Heck
Sun Apr 23 10:32:10 MDT 1995