I am working in Python, and I would like to manipulate data in the form of truth tables. I need to simplify tables, translate tables to boolean expressions, etc... I discovered