home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / DISEQUAL.R03 < prev    next >
Text File  |  1996-06-04  |  1KB  |  60 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = @, X = s(Y)~, Y = @~.
  6. --1> 
  7. *** Yes
  8. A = 1, X = s(X), Y = X.
  9. ----2> 
  10. *** No
  11. A = @, X = s(Y)~, Y = @~.
  12. --1> 
  13. *** Yes
  14. A = @, T = @~, X = s(Y)~, Y = s(s(T)~)~.
  15. ----2> 
  16. *** No
  17. A = @, X = s(Y)~, Y = @~.
  18. --1> 
  19. *** Yes
  20. A = @, B = s(C)~, C = s(D)~, D = @~, X = s(B)~, Y = B.
  21. ----2> 
  22. *** No
  23. A = @, B = s(C)~, C = s(D)~, D = @~, X = s(B)~, Y = B.
  24. ----2> 
  25. *** No
  26. A = @, B = s(C)~, C = s(D)~, D = @~, X = s(B)~, Y = B.
  27. ----2> 
  28. *** No
  29. A = @, B = s(C)~, C = s(D)~, D = @~, X = s(B)~, Y = B.
  30. ----2> 
  31. *** Yes
  32. A = 1, B = s(B), C = B, D = B, X = B, Y = B.
  33. ------3> 
  34. *** No
  35. A = @, B = s(C)~, C = s(D)~, D = @~, X = s(B)~, Y = B.
  36. ----2> 
  37. *** Yes
  38. A = @, B = s(C)~, C = s(C)~, D = C, X = s(B)~, Y = B.
  39. ------3> 
  40. *** Yes
  41. A = @, B = s(B)~, C = B, D = B, X = s(B)~, Y = B.
  42. --------4> 
  43. *** Yes
  44. A = 1, B = s(B), C = B, D = B, X = B, Y = B.
  45. ----------5> 
  46. *** No
  47. A = @, B = s(B)~, C = B, D = B, X = s(B)~, Y = B.
  48. --------4> 
  49. *** No
  50. A = @, B = s(C)~, C = s(C)~, D = C, X = s(B)~, Y = B.
  51. ------3> 
  52. *** No
  53. A = @, B = s(C)~, C = s(D)~, D = @~, X = s(B)~, Y = B.
  54. ----2> 
  55. *** No
  56. A = @, X = s(Y)~, Y = @~.
  57. --1> 
  58. *** No
  59. > 
  60.