home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / DISEQUAL.REF < prev    next >
Text File  |  1996-06-04  |  6KB  |  449 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = @, B = @, X = s(B)~, Y = @~.
  6. --1> 
  7. *** No
  8. A = @, B = @, X = s(B)~, Y = @~.
  9. --1> 
  10. *** Yes
  11. A = @, B = @~, C = @~, X = s(B)~, Y = s(C)~.
  12. ----2> 
  13. *** No
  14. A = @, B = @, X = s(B)~, Y = @~.
  15. --1> 
  16. *** Yes
  17. A = @, B = @~, C = @~, X = s(B)~, Y = s(C)~.
  18. ----2> 
  19. *** Yes
  20. A = @, B = b~, C = @~, X = s(B)~, Y = s(C)~.
  21. ------3> 
  22. *** No
  23. A = @, B = b~, C = @~, X = s(B)~, Y = s(C)~.
  24. ------3> 
  25. *** Yes
  26. A = @, B = b~, C = a~, X = s(B)~, Y = s(C)~.
  27. --------4> 
  28. *** No
  29. A = @, B = b~, C = @~, X = s(B)~, Y = s(C)~.
  30. ------3> 
  31. *** No
  32. A = @, B = @~, C = @~, X = s(B)~, Y = s(C)~.
  33. ----2> 
  34. *** Yes
  35. A = @, B = z~, C = @~, X = s(B)~, Y = s(C)~.
  36. ------3> 
  37. *** Yes
  38. A = @, B = z~, C = z~, X = s(B)~, Y = s(C)~.
  39. --------4> 
  40. *** Yes
  41. A = 1, B = z, C = B, X = s(B), Y = X.
  42. ----------5> 
  43. *** No
  44. A = @, B = z~, C = z~, X = s(B)~, Y = s(C)~.
  45. --------4> 
  46. *** No
  47. A = @, B = z~, C = @~, X = s(B)~, Y = s(C)~.
  48. ------3> 
  49. *** No
  50. A = @, B = z~, C = @~, X = s(B)~, Y = s(C)~.
  51. ------3> 
  52. *** No
  53. A = @, B = @~, C = @~, X = s(B)~, Y = s(C)~.
  54. ----2> 
  55. *** No
  56. A = @, B = @, X = s(B)~, Y = @~.
  57. --1> 
  58. *** No
  59. > 
  60. *** Yes
  61. A = @, X = @~.
  62. --1> 
  63. *** Yes
  64. A = @, X = a~.
  65. ----2> 
  66. *** No
  67. A = @, X = @~.
  68. --1> 
  69. *** Yes
  70. A = @, X = b~.
  71. ----2> 
  72. *** No
  73. A = @, X = @~.
  74. --1> 
  75. *** No
  76. A = @, X = @~.
  77. --1> 
  78. *** Yes
  79. A = @, X = a~.
  80. ----2> 
  81. *** Yes
  82. A = 1, X = ab.
  83. ------3> 
  84. *** No
  85. A = @, X = a~.
  86. ----2> 
  87. *** No
  88. A = @, X = @~.
  89. --1> 
  90. *** No
  91. > 
  92. *** Yes
  93. > 
  94. *** No
  95. > 
  96. *** Yes
  97. A = @~, B = @~.
  98. --1> 
  99. *** Yes
  100. A = a~, B = @~.
  101. ----2> 
  102. *** No
  103. A = a~, B = @~.
  104. ----2> 
  105. *** No
  106. A = @~, B = @~.
  107. --1> 
  108. *** Yes
  109. A = @~, B = b~.
  110. ----2> 
  111. *** No
  112. A = @~, B = b~.
  113. ----2> 
  114. *** No
  115. A = @~, B = @~.
  116. --1> 
  117. *** Yes
  118. A = @~, B = a~.
  119. ----2> 
  120. *** No
  121. A = @~, B = a~.
  122. ----2> 
  123. *** No
  124. A = @~, B = @~.
  125. --1> 
  126. *** Yes
  127. A = b~, B = @~.
  128. ----2> 
  129. *** No
  130. A = b~, B = @~.
  131. ----2> 
  132. *** No
  133. A = @~, B = @~.
  134. --1> 
  135. *** Yes
  136. A = @~, B = A.
  137. ----2> 
  138. *** No
  139. A = @~, B = A.
  140. ----2> 
  141. *** No
  142. A = @~, B = @~.
  143. --1> 
  144. *** No
  145. > 
  146. *** Yes
  147. A = @, B = @~, C = @~.
  148. --1> 
  149. *** Yes
  150. A = @, B = @~, C = B.
  151. ----2> 
  152. *** Yes
  153. A = 1, B = c, C = B.
  154. ------3> 
  155. *** No
  156. A = @, B = @~, C = B.
  157. ----2> 
  158. *** No
  159. A = @, B = @~, C = @~.
  160. --1> 
  161. *** No
  162. > 
  163. *** Yes
  164. A = a~, B = @~, X = @.
  165. --1> 
  166. *** Yes
  167. A = a~, B = A, X = @.
  168. ----2> 
  169. *** Yes
  170. A = ac, B = A, X = 1.
  171. ------3> 
  172. *** No
  173. A = a~, B = A, X = @.
  174. ----2> 
  175. *** No
  176. A = a~, B = A, X = @.
  177. ----2> 
  178. *** Yes
  179. A = a~, B = A, X = @.
  180. ------3> 
  181. *** No
  182. A = a~, B = A, X = @.
  183. ----2> 
  184. *** No
  185. A = a~, B = @~, X = @.
  186. --1> 
  187. *** No
  188. A = a~, B = @~, X = @.
  189. --1> 
  190. *** Yes
  191. A = a~, B = c~, X = @.
  192. ----2> 
  193. *** Yes
  194. A = ac, B = A, X = 1.
  195. ------3> 
  196. *** No
  197. A = a~, B = c~, X = @.
  198. ----2> 
  199. *** No
  200. A = a~, B = @~, X = @.
  201. --1> 
  202. *** Yes
  203. A = ac~, B = @~, X = @.
  204. ----2> 
  205. *** No
  206. A = ac~, B = @~, X = @.
  207. ----2> 
  208. *** Yes
  209. A = ac~, B = c~, X = @.
  210. ------3> 
  211. *** Yes
  212. A = ac, B = A, X = 1.
  213. --------4> 
  214. *** No
  215. A = ac~, B = c~, X = @.
  216. ------3> 
  217. *** No
  218. A = ac~, B = @~, X = @.
  219. ----2> 
  220. *** No
  221. A = ac~, B = @~, X = @.
  222. ----2> 
  223. *** Yes
  224. A = ac~, B = ac~, X = @.
  225. ------3> 
  226. *** No
  227. A = ac~, B = @~, X = @.
  228. ----2> 
  229. *** No
  230. A = ac~, B = @~, X = @.
  231. ----2> 
  232. *** No
  233. A = ac~, B = @~, X = @.
  234. ----2> 
  235. *** Yes
  236. A = ac, B = A, X = 1.
  237. ------3> 
  238. *** No
  239. A = ac~, B = @~, X = @.
  240. ----2> 
  241. *** No
  242. A = a~, B = @~, X = @.
  243. --1> 
  244. *** Yes
  245. A = a~, B = A, X = @.
  246. ----2> 
  247. *** Yes
  248. A = ac, B = A, X = 1.
  249. ------3> 
  250. *** No
  251. A = a~, B = A, X = @.
  252. ----2> 
  253. *** No
  254. A = a~, B = @~, X = @.
  255. --1> 
  256. *** No
  257. > 
  258. *** Yes
  259. A = @, X = s~, Y = @~.
  260. --1> 
  261. *** Yes
  262. A = @, T = t(U), U = u(V), V = @, X = s~, Y = s(T)~.
  263. ----2> 
  264. *** Yes
  265. A = @, T = t(U)~, U = u(V), V = @, X = s(X1)~, X1 = @~, Y = s(T)~.
  266. ------3> 
  267. *** Yes
  268. A = @, T = t(U)~, U = u(V)~, V = @, X = s(X1)~, X1 = @(X2)~, X2 = @~, Y = s(T)~.
  269. --------4> 
  270. *** Yes
  271. A = @, 
  272. T = t(U)~, 
  273. U = u(V)~, 
  274. V = @~, 
  275. X = s(X1)~, 
  276. X1 = @(X2)~, 
  277. X2 = @(X3)~, 
  278. X3 = @~, 
  279. Y = s(T)~.
  280.  
  281. ----------5> 
  282. *** No
  283. A = @, T = t(U)~, U = u(V)~, V = @, X = s(X1)~, X1 = @(X2)~, X2 = @~, Y = s(T)~.
  284. --------4> 
  285. *** No
  286. A = @, T = t(U)~, U = u(V), V = @, X = s(X1)~, X1 = @~, Y = s(T)~.
  287. ------3> 
  288. *** No
  289. A = @, T = t(U), U = u(V), V = @, X = s~, Y = s(T)~.
  290. ----2> 
  291. *** No
  292. A = @, X = s~, Y = @~.
  293. --1> 
  294. *** Yes
  295. A = @, X = s(X1)~, X1 = @, Y = @~.
  296. ----2> 
  297. *** Yes
  298. A = @, X = s(X1)~, X1 = @(X2), X2 = @, Y = @~.
  299. ------3> 
  300. *** Yes
  301. A = @, T = t(U)~, U = u(V)~, V = @, X = s(X1)~, X1 = @(X2)~, X2 = @~, Y = s(T)~.
  302. --------4> 
  303. *** Yes
  304. A = @, 
  305. T = t(U)~, 
  306. U = u(V)~, 
  307. V = @~, 
  308. X = s(X1)~, 
  309. X1 = @(X2)~, 
  310. X2 = @(X3)~, 
  311. X3 = @~, 
  312. Y = s(T)~.
  313.  
  314. ----------5> 
  315. *** Yes
  316. A = @, 
  317. T = t(U)~, 
  318. U = u(V)~, 
  319. V = a~, 
  320. X = s(X1)~, 
  321. X1 = @(X2)~, 
  322. X2 = @(X3)~, 
  323. X3 = @~, 
  324. Y = s(T)~.
  325.  
  326. ------------6> 
  327. *** No
  328. A = @, 
  329. T = t(U)~, 
  330. U = u(V)~, 
  331. V = a~, 
  332. X = s(X1)~, 
  333. X1 = @(X2)~, 
  334. X2 = @(X3)~, 
  335. X3 = @~, 
  336. Y = s(T)~.
  337.  
  338. ------------6> 
  339. *** No
  340. A = @, 
  341. T = t(U)~, 
  342. U = u(V)~, 
  343. V = @~, 
  344. X = s(X1)~, 
  345. X1 = @(X2)~, 
  346. X2 = @(X3)~, 
  347. X3 = @~, 
  348. Y = s(T)~.
  349.  
  350. ----------5> 
  351. *** Yes
  352. A = @, 
  353. T = t(U)~, 
  354. U = u(V)~, 
  355. V = @~, 
  356. X = s(X1)~, 
  357. X1 = t(X2)~, 
  358. X2 = @(X3)~, 
  359. X3 = @~, 
  360. Y = s(T)~.
  361.  
  362. ------------6> 
  363. *** No
  364. A = @, 
  365. T = t(U)~, 
  366. U = u(V)~, 
  367. V = @~, 
  368. X = s(X1)~, 
  369. X1 = @(X2)~, 
  370. X2 = @(X3)~, 
  371. X3 = @~, 
  372. Y = s(T)~.
  373.  
  374. ----------5> 
  375. *** No
  376. A = @, 
  377. T = t(U)~, 
  378. U = u(V)~, 
  379. V = @~, 
  380. X = s(X1)~, 
  381. X1 = @(X2)~, 
  382. X2 = @(X3)~, 
  383. X3 = @~, 
  384. Y = s(T)~.
  385.  
  386. ----------5> 
  387. *** No
  388. A = @, 
  389. T = t(U)~, 
  390. U = u(V)~, 
  391. V = @~, 
  392. X = s(X1)~, 
  393. X1 = @(X2)~, 
  394. X2 = @(X3)~, 
  395. X3 = @~, 
  396. Y = s(T)~.
  397.  
  398. ----------5> 
  399. *** Yes
  400. A = @, 
  401. T = t(U)~, 
  402. U = u(V)~, 
  403. V = @~, 
  404. X = s(X1)~, 
  405. X1 = @(X2)~, 
  406. X2 = u(X3)~, 
  407. X3 = @~, 
  408. Y = s(T)~.
  409.  
  410. ------------6> 
  411. *** No
  412. A = @, 
  413. T = t(U)~, 
  414. U = u(V)~, 
  415. V = @~, 
  416. X = s(X1)~, 
  417. X1 = @(X2)~, 
  418. X2 = @(X3)~, 
  419. X3 = @~, 
  420. Y = s(T)~.
  421.  
  422. ----------5> 
  423. *** No
  424. A = @, 
  425. T = t(U)~, 
  426. U = u(V)~, 
  427. V = @~, 
  428. X = s(X1)~, 
  429. X1 = @(X2)~, 
  430. X2 = @(X3)~, 
  431. X3 = @~, 
  432. Y = s(T)~.
  433.  
  434. ----------5> 
  435. *** No
  436. A = @, T = t(U)~, U = u(V)~, V = @, X = s(X1)~, X1 = @(X2)~, X2 = @~, Y = s(T)~.
  437. --------4> 
  438. *** No
  439. A = @, X = s(X1)~, X1 = @(X2), X2 = @, Y = @~.
  440. ------3> 
  441. *** No
  442. A = @, X = s(X1)~, X1 = @, Y = @~.
  443. ----2> 
  444. *** No
  445. A = @, X = s~, Y = @~.
  446. --1> 
  447. *** No
  448. > 
  449.