home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / DISEQUAL.I03 < prev    next >
Text File  |  1996-06-04  |  93b  |  20 lines
  1. A=f(X:s(Y))?
  2. X=Y?
  3.  
  4. X=s(s(s(T)))?
  5.  
  6. X=s(B:s(C:s(D)))?
  7. D=e?
  8. C=e?
  9. B=e?
  10. X=Y?
  11.  
  12. C=D?
  13. B=C?
  14. X=Y?
  15.  
  16.  
  17.  
  18.  
  19.  
  20.