A boolean algebra engine written in Python. Evaluates boolean expressions against truth tables and synthesizes minimal expressions from truth tables using Quine-McCluskey. Forked from ...