123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151 |
- Tue Feb 10 12:26:42 2004 run on Linux
- % Test series for the boolean package.
- boolean true;
- 1
- boolean false;
- 0
- boolean (true and false);
- 0
- boolean (true or false);
- 1
- boolean (x and true);
- x
- boolean (x and false);
- 0
- boolean (x or true);
- 1
- boolean (x or false);
- x
- boolean (not(x and y));
- boolean(not(x) \/ not(y))
- boolean (not(x or y));
- boolean(not(x)/\not(y))
- boolean (x or y or(x and y));
- boolean(x \/ y)
- boolean (x and y and (x or y));
- boolean(x/\y)
- boolean (x or (not x));
- 1
- boolean (x and (not x));
- 0
- boolean (x and y or not x);
- boolean(not(x) \/ y)
- boolean (a and b implies c and d);
- boolean(not(a) \/ not(b) \/ c/\d)
- boolean (a and b implies c and d, and);
- boolean((not(a) \/ not(b) \/ c)/\(not(a) \/ not(b) \/ d))
- boolean (a or b implies c or d);
- boolean(not(a)/\not(b) \/ c \/ d)
- boolean (a or b implies c or d, and,full);
- boolean((a \/ not(b) \/ c \/ d)/\(not(a) \/ b \/ c \/ d)
- /\(not(a) \/ not(b) \/ c \/ d))
-
- operator >;
- fm:=boolean(x>v or not (u>v));
- fm := boolean(not(u>v) \/ x>v)
- v:=10;
- v := 10
- testbool fm;
- boolean(not(u>10) \/ x>10)
- x:=3;
- x := 3
- testbool fm;
- boolean(not(u>10))
- clear x;
- x:=17;
- x := 17
- testbool fm;
- 1
- clear v,x;
- end;
- Time for test: 10 ms
|