Resolve algorithm of Quine McCluskey. This is useful for simplify your boolean functions, like Karnaugh tables, with a better algorithm, which is used to reduce the cost of logical ports of your logical circuit.
a = a
¬a = A
Firstly you select how do you prefer to introuduce the main function.
Example:
f(A,B,C) = (A + b)(a + B + c)
Example:
f(A, B, C) = Ab + aBc
After you introuduce your function, you can introduce some 'd' terms which will be used only if they were needed to simplify your logical results.
When execution is finisihed, it returns the solution of apply Quine McCluskey to your function.