1% Test series for the boolean package. 2 3boolean true; 4 5 61 7 8boolean false; 9 10 110 12 13boolean (true and false); 14 15 160 17 18boolean (true or false); 19 20 211 22 23boolean (x and true); 24 25 26x 27 28boolean (x and false); 29 30 310 32 33boolean (x or true); 34 35 361 37 38boolean (x or false); 39 40 41x 42 43boolean (not(x and y)); 44 45 46boolean(not(x) \/ not(y)) 47 48boolean (not(x or y)); 49 50 51boolean(not(x)/\not(y)) 52 53boolean (x or y or(x and y)); 54 55 56boolean(x \/ y) 57 58boolean (x and y and (x or y)); 59 60 61boolean(x/\y) 62 63boolean (x or (not x)); 64 65 661 67 68boolean (x and (not x)); 69 70 710 72 73boolean (x and y or not x); 74 75 76boolean(not(x) \/ y) 77 78boolean (a and b implies c and d); 79 80 81boolean(not(a) \/ not(b) \/ c/\d) 82 83boolean (a and b implies c and d, and); 84 85 86boolean((not(a) \/ not(b) \/ c)/\(not(a) \/ not(b) \/ d)) 87 88boolean (a or b implies c or d); 89 90 91boolean(not(a)/\not(b) \/ c \/ d) 92 93boolean (a or b implies c or d, and,full); 94 95 96boolean((a \/ not(b) \/ c \/ d)/\(not(a) \/ b \/ c \/ d) 97 98 /\(not(a) \/ not(b) \/ c \/ d)) 99 100 101operator >; 102 103 104fm:=boolean(x>v or not (u>v)); 105 106 107fm := boolean(not(u>v) \/ x>v) 108 109v:=10; 110 111 112v := 10 113 114testbool fm; 115 116 117boolean(not(u>10) \/ x>10) 118 119x:=3; 120 121 122x := 3 123 124testbool fm; 125 126 127boolean(not(u>10)) 128 129clear x; 130 131 132x:=17; 133 134 135x := 17 136 137testbool fm; 138 139 1401 141 142clear v,x; 143 144 145 146end; 147 148Tested on x86_64-pc-windows CSL 149Time (counter 1): 0 ms 150 151End of Lisp run after 0.00+0.06 seconds 152real 0.20 153user 0.03 154sys 0.03 155