Artifact 64a7ec8ea81140ba0f1253f06523357e4014335c497e06a22b44a332176397ee:

• Executable file r36/XMPL/BOOLEAN.TST — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 675) [annotate] [blame] [check-ins using] [more...]

% Test series for the boolean package.

boolean true;
boolean false;
boolean (true and false);
boolean (true or false);
boolean (x and true);
boolean (x and false);
boolean (x or true);
boolean (x or false);
boolean (not(x and y));
boolean (not(x or y));
boolean (x or y or(x and y));
boolean (x and y and (x or y));
boolean (x or (not x));
boolean (x and (not x));
boolean (x and y or not x);
boolean (a and b implies c and d);
boolean (a and b implies c and d, and);
boolean (a or b implies c or d);
boolean (a or b implies c or d, and,full); 

operator >;
fm:=boolean(x>v or not (u>v));
v:=10;
testbool fm;
x:=3;
testbool fm;
clear x;
x:=17;
testbool fm;
clear v,x;

end;