home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / DISEQUAL.I01 < prev    next >
Text File  |  1996-06-04  |  163b  |  34 lines
  1. A=f(a,B,C,D,E,F)?
  2. B=b?
  3. C=b?
  4. D=b?
  5. E=b?
  6. F=b?
  7. D=a?
  8. E=b?
  9. C=b?
  10.  
  11.  
  12. A=g(X,Y)?
  13. X=c?
  14. Y=d?
  15. X=Y?
  16. ;
  17. ;
  18.  
  19.  
  20. X=s(a(a(a(B))))?
  21. Y=s(a(a(a(C))))?
  22. B=c?
  23. C=a?
  24. C=d?
  25.  
  26. C=e?
  27. X=Y?
  28.  
  29.  
  30. X.1=b?
  31.  
  32.  
  33.  
  34.