EquationSimplifier

[chants]

I recommend sympy for this if doing it at scale, it has the Espresso Logic Minimizer builtin to it, and in a few lines of code you can query for SoP or PoS forms. Heuristic logic minimizes are important as the Boolean function increases in variables as Quine McClusky is essentially brute force. Also consider renaming to BoolesnEquationSimplifier.