home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / lisp / 2300 < prev    next >
Encoding:
Text File  |  1992-08-25  |  1.5 KB  |  36 lines
  1. Newsgroups: comp.lang.lisp
  2. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!wupost!gumby!yale!yale.edu!ira.uka.de!sun1.ruf.uni-freiburg.de!news.belwue.de!eratu.rz.uni-konstanz.de!nyx.uni-konstanz.de!phfrom
  3. From: phfrom@nyx.uni-konstanz.de (Hartmut Frommert)
  4. Subject: Re: ?? boolean minimization code ??
  5. Message-ID: <phfrom.259@nyx.uni-konstanz.de>
  6. Keywords: boolean function minimization
  7. Sender: usenet@eratu.rz.uni-konstanz.de
  8. Organization: Dept. of Physics, University of Constance
  9. References: <1992Aug25.204217.2870@beaver.cs.washington.edu>
  10. Date: Wed, 26 Aug 1992 09:03:04 GMT
  11. Lines: 23
  12.  
  13. nick@skate.cs.washington.edu (Nicholas Kushmerick) writes:
  14.  
  15. >does anybody have any (lisp?!) code that does boolean function minimization,
  16. >e.g.:
  17.  
  18. >       p+~p  -->  true
  19.  
  20. >       (a&b)+~a  -->  b+~a
  21.  
  22. >       (~a&~b&c)+(~a&b&c)+(a&~b&c)+(a&b&c)  -->  c
  23.  
  24. >ideally, both the input and output should be in s-o-p form, like my examples.
  25.  
  26. There's a REDUCE (3.3) program which was some time ago on the netlib at
  27. rand.org which does a similar job (I'm not sure how good). If you are 
  28. interested, please e-mail. Name of the program was "PMRULES", if I remember 
  29. right.
  30. --
  31.  Hartmut Frommert, Physics, Univ of Constance, | + Whale killing is murder. +
  32.  P.O.Box 55 60, D-W-7750 Konstanz, Germany | + Eat whale killers, not whales.
  33.  E-Mail: <phfrom@dknkurz1.bitnet> or <phfrom@nyx.uni-konstanz.de>
  34. +    "Windows NoT" expands in German to "Windows Noch Teurer"
  35. +                                                ^even   ^more expensive
  36.