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