From: Robert Faltisco
Subject: Dysjunctive Normal Form
Date: Thu, 18 Feb 1993 23:31:41 +0000
Message-ID: <1993Feb18.233141.27713@jpl-devvax.jpl.nasa.gov>

Does anyone know of an existing algorithm which would reduce
a logical expression (limited to "ORs", "ANDs", and "NOTs") to
Dysjunctive Normal Form?  Also, any referals to papers/texts on the topic
would be appreciated.  I need to do this in Lisp, that is why I posted it
on the lisp language board.