jasko@charles.bu.edu (John V. Jaskolski) (03/16/91)
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