Quine-McCluskey Solver

Il Quine-McCluskey Solver è uno strumento per trovare la rappresentazione minima di qualsiasi equazione booleana. Sebbene rappresentazioni minime ai problemi semplici possono essere trovati facilmente usando le tabelle di verità e K-mappe, rappresentazioni minime per problemi complessi richiedono un approccio più sistematico, come l'algoritmo di Quine-McCluskey.