home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / DISEQUAL.I06 < prev    next >
Text File  |  1996-06-04  |  226b  |  37 lines
  1. A=g(X,Y:t(r(Z)),W:s(Q))?
  2. X=a,Z=b,Q=c?
  3. X=a,Z=b,Q=d?
  4. X=a,Z=c,Q=b?
  5. X=a,Z=d,Q=b?
  6. X=c,Z=a,Q=b?
  7. X=d,Z=a,Q=b?
  8. X=a,Z=b?
  9. Q=c?
  10. Q=b?
  11. X=Y?
  12. X=Z?
  13.  
  14. Z=Q?
  15. X=Z?
  16.  
  17.  
  18.  
  19.  
  20. X=Z?
  21. X=Q?
  22.  
  23.  
  24. Q=a(AA),X=b(BB),Z=ab(CC)?
  25. AA=q?
  26. BB=bc?
  27. BB=q?
  28.  
  29. BB=w?
  30. X=Z?
  31. Q=X?
  32.  
  33.  
  34.  
  35.  
  36.  
  37.