home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / DISJ1.IN < prev    next >
Text File  |  1996-06-04  |  121b  |  21 lines

  1. A=1,B=2,C=F(A,B)?
  2. F={(+);(-);(/);(*)}?
  3. ;
  4. ;
  5. ;
  6. ;
  7. .
  8.  
  9. X=f(Y:{a;Z},Z:{b;Y})?
  10. ;
  11. ;
  12. ;
  13. ;
  14.  
  15. [H|_]=[{(*);(+);(-);(/)} | @]?
  16. ;
  17. ;
  18. ;
  19. ;
  20.  
  21.