🚀 go-pugleaf

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.