home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / DISEQUAL.IN < prev    next >
Text File  |  1996-06-04  |  508b  |  116 lines
  1. A=f(X:s(B),Y)?
  2. Y=t?
  3. Y=s(C)?
  4.  
  5. Y=s(C)?
  6. B=b?
  7. C=d?
  8. C=a?
  9.  
  10.  
  11. B=z?
  12. C=z?
  13. X=Y?
  14.  
  15.  
  16. C=y?
  17.  
  18.  
  19.  
  20. A=g(X,X)?
  21. X=a?
  22.  
  23. X=b?
  24.  
  25. X=c?
  26. X=a?
  27. X=b?
  28.  
  29.  
  30.  
  31. h(X:c,X)->1.
  32. A=h(a,b)?
  33. A=h(A,B)?
  34. A=a?
  35. B=b?
  36.  
  37. B=b?
  38. A=a?
  39.  
  40. B=a?
  41. A=b?
  42.  
  43. A=b?
  44. B=a?
  45.  
  46. A=B?
  47. A=c?
  48.  
  49.  
  50. A=h(B,C)?
  51. B=C?
  52. B=c?
  53.  
  54.  
  55.  
  56. X=h(A:a,B)?
  57. A=B?
  58. A=c?
  59.  
  60. A=b?
  61. A=a?
  62.  
  63.  
  64. B=b?
  65. B=c?
  66. A=B?
  67.  
  68.  
  69. A=c?
  70. B=b?
  71. B=c?
  72. A=B?
  73.  
  74.  
  75. B=d?
  76. B=ac?
  77.  
  78. B=ab?
  79. B=bc?
  80. A=B?
  81.  
  82.  
  83. A=B?
  84. B=c?
  85.  
  86.  
  87.  
  88. A=f(X:s,Y)?
  89. Y=s(T:t(U:u(V)))?
  90. X=@(X1)?
  91. X1=@(X2)?
  92. X2=@(X3)?
  93.  
  94.  
  95.  
  96.  
  97. X=@(X1)?
  98. X1=@(X2)?
  99. Y=s(T:t(U:u(V)))?
  100. X2=@(X3)?
  101. V=a?
  102. X3=d?
  103.  
  104. X1=t?
  105.  
  106. X1=w?
  107. X2=w?
  108. X2=u?
  109.  
  110. X2=t?
  111.  
  112.  
  113.  
  114.  
  115.  
  116.