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