home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / DISEQUAL.R06 < prev    next >
Text File  |  1996-06-04  |  3KB  |  210 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(Z)), Z = @~.
  6. --1> 
  7. *** No
  8. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(Z)), Z = @~.
  9. --1> 
  10. *** No
  11. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(Z)), Z = @~.
  12. --1> 
  13. *** No
  14. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(Z)), Z = @~.
  15. --1> 
  16. *** No
  17. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(Z)), Z = @~.
  18. --1> 
  19. *** No
  20. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(Z)), Z = @~.
  21. --1> 
  22. *** No
  23. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(Z)), Z = @~.
  24. --1> 
  25. *** Yes
  26. A = @, Q = @~, W = s(Q), X = a~, Y = t(r(Z)), Z = b~.
  27. ----2> 
  28. *** No
  29. A = @, Q = @~, W = s(Q), X = a~, Y = t(r(Z)), Z = b~.
  30. ----2> 
  31. *** Yes
  32. A = @, Q = b~, W = s(Q), X = a~, Y = t(r(Z)), Z = b~.
  33. ------3> 
  34. *** No
  35. A = @, Q = b~, W = s(Q), X = a~, Y = t(r(Z)), Z = b~.
  36. ------3> 
  37. *** Yes
  38. A = @, Q = b~, W = s(Q), X = ab~, Y = t(r(X)), Z = X.
  39. --------4> 
  40. *** No
  41. A = @, Q = b~, W = s(Q), X = a~, Y = t(r(Z)), Z = b~.
  42. ------3> 
  43. *** Yes
  44. A = @, Q = b~, W = s(Q), X = a~, Y = t(r(Q)), Z = Q.
  45. --------4> 
  46. *** Yes
  47. A = 1, Q = ab, W = s(Q), X = Q, Y = t(r(Q)), Z = Q.
  48. ----------5> 
  49. *** No
  50. A = @, Q = b~, W = s(Q), X = a~, Y = t(r(Q)), Z = Q.
  51. --------4> 
  52. *** No
  53. A = @, Q = b~, W = s(Q), X = a~, Y = t(r(Z)), Z = b~.
  54. ------3> 
  55. *** No
  56. A = @, Q = @~, W = s(Q), X = a~, Y = t(r(Z)), Z = b~.
  57. ----2> 
  58. *** No
  59. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(Z)), Z = @~.
  60. --1> 
  61. *** Yes
  62. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(X)), Z = X.
  63. ----2> 
  64. *** Yes
  65. A = 1, Q = @, W = s(Q), X = Q, Y = t(r(Q)), Z = Q.
  66. ------3> 
  67. *** No
  68. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(X)), Z = X.
  69. ----2> 
  70. *** No
  71. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(Z)), Z = @~.
  72. --1> 
  73. *** Yes
  74. A = @, 
  75. AA = @~, 
  76. BB = @~, 
  77. CC = @~, 
  78. Q = a(AA)~, 
  79. W = s(Q), 
  80. X = b(BB)~, 
  81. Y = t(r(Z)), 
  82. Z = ab(CC)~.
  83.  
  84. ----2> 
  85. *** Yes
  86. A = @, 
  87. AA = q~, 
  88. BB = @~, 
  89. CC = @~, 
  90. Q = a(AA)~, 
  91. W = s(Q), 
  92. X = b(BB)~, 
  93. Y = t(r(Z)), 
  94. Z = ab(CC)~.
  95.  
  96. ------3> 
  97. *** No
  98. A = @, 
  99. AA = q~, 
  100. BB = @~, 
  101. CC = @~, 
  102. Q = a(AA)~, 
  103. W = s(Q), 
  104. X = b(BB)~, 
  105. Y = t(r(Z)), 
  106. Z = ab(CC)~.
  107.  
  108. ------3> 
  109. *** Yes
  110. A = @, 
  111. AA = q~, 
  112. BB = q~, 
  113. CC = @~, 
  114. Q = a(AA)~, 
  115. W = s(Q), 
  116. X = b(BB)~, 
  117. Y = t(r(Z)), 
  118. Z = ab(CC)~.
  119.  
  120. --------4> 
  121. *** No
  122. A = @, 
  123. AA = q~, 
  124. BB = @~, 
  125. CC = @~, 
  126. Q = a(AA)~, 
  127. W = s(Q), 
  128. X = b(BB)~, 
  129. Y = t(r(Z)), 
  130. Z = ab(CC)~.
  131.  
  132. ------3> 
  133. *** No
  134. A = @, 
  135. AA = q~, 
  136. BB = @~, 
  137. CC = @~, 
  138. Q = a(AA)~, 
  139. W = s(Q), 
  140. X = b(BB)~, 
  141. Y = t(r(Z)), 
  142. Z = ab(CC)~.
  143.  
  144. ------3> 
  145. *** Yes
  146. A = @, 
  147. AA = q~, 
  148. BB = @~, 
  149. CC = BB, 
  150. Q = a(AA)~, 
  151. W = s(Q), 
  152. X = ab(BB)~, 
  153. Y = t(r(X)), 
  154. Z = X.
  155.  
  156. --------4> 
  157. *** Yes
  158. A = 1, 
  159. AA = q, 
  160. BB = AA, 
  161. CC = AA, 
  162. Q = ab(AA), 
  163. W = s(Q), 
  164. X = Q, 
  165. Y = t(r(Q)), 
  166. Z = Q.
  167.  
  168. ----------5> 
  169. *** No
  170. A = @, 
  171. AA = q~, 
  172. BB = @~, 
  173. CC = BB, 
  174. Q = a(AA)~, 
  175. W = s(Q), 
  176. X = ab(BB)~, 
  177. Y = t(r(X)), 
  178. Z = X.
  179.  
  180. --------4> 
  181. *** No
  182. A = @, 
  183. AA = q~, 
  184. BB = @~, 
  185. CC = @~, 
  186. Q = a(AA)~, 
  187. W = s(Q), 
  188. X = b(BB)~, 
  189. Y = t(r(Z)), 
  190. Z = ab(CC)~.
  191.  
  192. ------3> 
  193. *** No
  194. A = @, 
  195. AA = @~, 
  196. BB = @~, 
  197. CC = @~, 
  198. Q = a(AA)~, 
  199. W = s(Q), 
  200. X = b(BB)~, 
  201. Y = t(r(Z)), 
  202. Z = ab(CC)~.
  203.  
  204. ----2> 
  205. *** No
  206. A = @, Q = @~, W = s(Q), X = @~, Y = t(r(Z)), Z = @~.
  207. --1> 
  208. *** No
  209. > 
  210.