home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / lisp / 2297 < prev    next >
Encoding:
Text File  |  1992-08-25  |  741 b   |  29 lines
  1. Newsgroups: comp.lang.lisp
  2. Path: sparky!uunet!usc!rpi!batcomputer!cornell!uw-beaver!skate.cs.washington.edu!nick
  3. From: nick@skate.cs.washington.edu (Nicholas Kushmerick)
  4. Subject: ?? boolean minimization code ??
  5. Message-ID: <1992Aug25.204217.2870@beaver.cs.washington.edu>
  6. Keywords: boolean function minimization
  7. Sender: news@beaver.cs.washington.edu (USENET News System)
  8. Organization: University of Washington Computer Science
  9. Date: Tue, 25 Aug 92 20:42:17 GMT
  10. Lines: 17
  11.  
  12. does anybody have any (lisp?!) code that does boolean function minimization,
  13. e.g.:
  14.  
  15.     p+~p  -->  true
  16.  
  17.     (a&b)+~a  -->  b+~a
  18.  
  19.     (~a&~b&c)+(~a&b&c)+(a&~b&c)+(a&b&c)  -->  c
  20.  
  21. ideally, both the input and output should be in s-o-p form, like my examples.
  22.  
  23. thanks!
  24.  
  25. -- Nick
  26.  
  27.  
  28.  
  29.