You may be interested in PyEda https://pypi.python.org/pypi/pyeda
It is for electronic design automation. But it will minimise truth tables for you. http://pyeda.readthedocs.org/en/latest/search.html?q=truth+tables&check_keywords=yes&area=default Laura -- https://mail.python.org/mailman/listinfo/python-list
