Newsgroups: comp.ai.shells
Path: cantaloupe.srv.cs.cmu.edu!europa.chnt.gtegsc.com!howland.reston.ans.net!swrinde!elroy.jpl.nasa.gov!llyene!gauss!jns
From: jns@gauss.jpl.nasa.gov (John Spagnuolo)
Subject: shell for conjunctive normal form
Message-ID: <1995Jun8.170951.25204@llyene.jpl.nasa.gov>
Keywords: wff, propositional logic, conjunctive normal form
Sender: jns@gauss (John Spagnuolo)
Organization: Jet Propulsion Laboratory, FIST Lab, 301-284A
Date: Thu, 8 Jun 1995 17:09:51 GMT
Lines: 5

Does anyone have a c or prolog shell which takes a well formed
formula(wff) and puts it in conjunctive normal form? 
ok if wff is propositional logic only.
              thanks
              John 
