Path: utzoo!utgpu!cunews!software.mitel.com!grayt
From: grayt@Software.Mitel.COM (Tom Gray)
Newsgroups: sci.electronics
Subject: Re: Quine-McClusky-minimalisation of logical ports.
Message-ID: <5697@smithd>
Date: 11 Dec 90 15:52:21 GMT
References: <90340.175904GUTEST4@cc1.kuleuven.ac.be>
Reply-To: grayt@smithd (Tom Gray)
Organization: Mitel. Kanata (Ontario). Canada.
Lines: 20

In article <90340.175904GUTEST4@cc1.kuleuven.ac.be> GUTEST4@cc1.kuleuven.ac.be (JANSSENS PETER) writes:
>As the subject says: I'm looking for a program (For PC, or sources)
>to minimalise a network that consists of logical ports (AND, OR)
>The method is developed by Quine and McClusky and adapted for computeruse.
>
>Anybody know where I can find something (FTP-netaddress)
>Or post it directly to me.
>
>Thanx, Peter Janssen
>GUTEST4@CC1.ac.be.kuleuven
>GUTEST4@BLEKUL11.BITNET


There are many many much more efficent methods for determining the implicants
of a set of equations. if you look up the method describe by Beatson in the
Summer (?) issue of the Transactions of the IEE (1957), you'll find a mehtod
that you could code in a few hours of effort. It is also much more efficient
in the computer. I've seen people try to use Quine/McClusky on LARGE computers.
The memory limit is exceeded even for very large computers very quickly.
I've reduced 7 variable equations with Beatson in a notebook.