home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / DISEQUAL.L02 < prev    next >
Text File  |  1996-06-04  |  34b  |  5 lines
  1.  
  2. f(X,s(X)) -> 1.
  3.  
  4. g(s(X),X) -> 1.
  5.