Manipulating logical expressions...

Article View: sci.logic

Article #89

#89

From: Alvaro Monge
Date: Sat, 25 Jul 1992 00:01

16 lines
925 bytes

I am in need of source code (preferably C++) which
manipulates logical expressions involving variables
and literal constants.

An important operation of such a program is:
   Standardizing apart of names:
     i.e.
	Given 2 expressions.  Want them to each have different
	variable names.  That is do the necessary alfa conversions
	on the expression(s) to make sure that they do not share
	any variable names.

Thanks,
Al Monge
amonge@cs.ucsd.edu

Technical Details

Message-ID: <36105@sdcc12.ucsd.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!usc!zaphod.mps.ohio-state.edu!news.acns.nwu.edu!network.ucsd.edu!sdcc12!cs!amonge

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!usc!zaphod.mps.ohio-state.edu!news.acns.nwu.edu!network.ucsd.edu!sdcc12!cs!amonge
From: amonge@cs.ucsd.edu (Alvaro Monge)
Newsgroups: sci.logic,sci.math.symbolic
Subject: Manipulating logical expressions...
Message-ID: <36105@sdcc12.ucsd.edu>
Date: 25 Jul 92 00:01:57 GMT
Sender: news@sdcc12.ucsd.edu
Followup-To: sci.logic
Distribution: usa
Organization: CSE Dept., U.C. San Diego
Lines: 18
Nntp-Posting-Host: magilla.ucsd.edu