Truth table to boolean expression

  1. I have a 9 input to 9 output truth table I constructed using Python. I am trying to find a program that can deduce the (hopefully minimized) Boolean expression for my outputs. I tried Logisim already, but when I try to paste the enormous data (512 rows), my Logisim crashes. Can anyone recommend me a program that generates minimized Boolean expressions from huge truth tables with its own paste feature (so I can paste the truth table from a clipboard)? It should have don't care states also.

    Thanks!

    BiP
     
  2. jcsd
  3. jambaugh

    jambaugh 1,799
    Science Advisor
    Gold Member

    The general method (which I've only done by hand for 3 or so inputs) involves using Karnaugh maps so you can start by searching "Karnaugh reduction software" or something similar. Note that this is a classic problem in logical circuit design (creating logic gates with minimal number of components on a IC chip) and so you will find a great deal of info out there.

    .... a quick look on wikipedia got this:
    Espresso heuristic logic minimizer
     
  4. Thanks.
    I am aware of K-maps and the Quine-McCluskey minimization algorithm. It's just that I don't have the time to draw out a 9-bit K-map. I have the truth table at hand, just need a program (can be proprietary) that can do the Boolean work for me.

    BiP
     
  5. jambaugh

    jambaugh 1,799
    Science Advisor
    Gold Member

    The wikipedia page on the subject points to a Python implementation of the Quine McCluskey algorithm, it might be ideal given you started in python generating your table.

    https://pypi.python.org/pypi/qm/0.2
     
Know someone interested in this topic? Share a link to this question via email, Google+, Twitter, or Facebook