Riepilogo
Come si calcola
Tavola di verità
Forme canoniche / SOP semplificata
Domande frequenti
Quali operatori posso usare?
Usa ! o ~ per NOT, & o ∧ per AND, ^ per XOR, | o ∨ per OR, -> per l’implicazione, <-> per l’equivalenza e le costanti 0, 1, T, F.
Come sceglie lo strumento tra Karnaugh e Quine–McCluskey?
Fino a 4 variabili lo strumento raggruppa i mintermini come in una mappa di Karnaugh. Con 5 o 6 variabili passa al metodo di Quine–McCluskey con selezione di Petrick. Oltre 6 variabili torna alla DNF canonica.