home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / logic / 1237 < prev    next >
Encoding:
Internet Message Format  |  1992-07-25  |  949 b 
  1. Xref: sparky sci.logic:1237 sci.math.symbolic:2067
  2. Path: sparky!uunet!usc!zaphod.mps.ohio-state.edu!news.acns.nwu.edu!network.ucsd.edu!sdcc12!cs!amonge
  3. From: amonge@cs.ucsd.edu (Alvaro Monge)
  4. Newsgroups: sci.logic,sci.math.symbolic
  5. Subject: Manipulating logical expressions...
  6. Message-ID: <36105@sdcc12.ucsd.edu>
  7. Date: 25 Jul 92 00:01:57 GMT
  8. Sender: news@sdcc12.ucsd.edu
  9. Followup-To: sci.logic
  10. Distribution: usa
  11. Organization: CSE Dept., U.C. San Diego
  12. Lines: 18
  13. Nntp-Posting-Host: magilla.ucsd.edu
  14.  
  15.  
  16. I am in need of source code (preferably C++) which
  17. manipulates logical expressions involving variables
  18. and literal constants.
  19.  
  20. An important operation of such a program is:
  21.    Standardizing apart of names:
  22.      i.e.
  23.     Given 2 expressions.  Want them to each have different
  24.     variable names.  That is do the necessary alfa conversions
  25.     on the expression(s) to make sure that they do not share
  26.     any variable names.
  27.  
  28. Thanks,
  29. Al Monge
  30. amonge@cs.ucsd.edu
  31.  
  32.  
  33.