GUTEST4@cc1.kuleuven.ac.be (JANSSENS PETER) (12/07/90)
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
grayt@Software.Mitel.COM (Tom Gray) (12/11/90)
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.