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

Boolean Logic

Problem :evaluate TRUE and FALSE.

>> TRUE and FALSE;


Problem :simplify x or (not x).

>> x or (not x);


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 (main site) or in France from

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