Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!spool.mu.edu!snorkelwacker.mit.edu!bu.edu!nntp-xfer.bu.edu!jasko
From: jasko@charles.bu.edu (John V. Jaskolski)
Newsgroups: comp.software-eng
Subject: Looking for software that performs minimization of Boolean functions
Message-ID: <JASKO.91Mar15154907@charles.bu.edu>
Date: 15 Mar 91 20:49:07 GMT
Sender: news@bu.edu.bu.edu
Distribution: comp
Organization: Boston University Center for Adaptive Systems
Lines: 13

I am looking for software that performs the minimization of Boolean
functions.  e.g., I am looking for software that minimizes
x'yz + xy'z' + xyz + xyz' to, for example, yz + xz' via any reasonable
method.  The only methods that I am familiar with are the Karnaugh map
method and the tabulation method (only the latter of which is typically
implemented on a computer).  If there are better methods for Boolean
function minimization that anyone knows about please let me know even
if you don't know where I can get the software.

Thank You In Advance For Your Help,

John V. Jaskolski
jasko@park.bu.edu