Quine-McCluskey Solver

O Quine-McCluskey Solver é uma ferramenta para encontrar a representação mínima de qualquer equação booleana. Embora representações mínimas para problemas simples podem ser encontrados facilmente usando tabelas de verdade e K-mapas, representações mínimos para problemas complexos exigem uma abordagem mais sistemática, como o algoritmo de Quine-McCluskey.