EquationSimplifier
 

EquationSimplifier: simplify boolean equations - calculate POS (Product of Sums) and SOP (Sums of Products) using Quine–McCluskey algorithm
The default setting is with "This is the order" unmarked - this will calculate "Risk priority number" from the boolean equation with order of operations
If "This is the order" is unmarked will think that this is the order of operations as in specified equation.
"Truth Table" button shows truth table of variables + result.
"Equation equality" button will check if two boolean equations are equal.

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.