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