home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
REFOUT
/
ANDOR14.REF
< prev
next >
Wrap
Text File
|
1996-06-04
|
398b
|
38 lines
*** Yes
> >
*** Yes
A = and(B), B = @.
--1>
*** No
A = and(B), B = @.
--1>
*** Yes
A = and(B), B = @, C = false.
----2>
*** No
A = and(B), B = @.
--1>
*** No
>
*** Yes
A = @(2 => false).
--1> >
*** Yes
A = and(2 => B), B = @.
--1>
*** No
A = and(2 => B), B = @.
--1>
*** Yes
A = and(2 => B), B = false.
----2>
*** No
A = and(2 => B), B = @.
--1>
*** No
>
*** Yes
A = @(false).
--1> >