Risolutore Mappe di Karnaugh
Guida dell'utente

Introduzione

Risolutore Mappe di Karnaugh è una web app che prende in input la tabella di verità di una funzione, la traspone sulla rispettiva mappa di Karnaugh e trova le forme minime SOP e POS secondo il metodo di risoluzione visuale proposto da Maurice Karnaugh, fisico e matematico americano.

Il programma si presenta come una web app, di conseguenza eseguibile sulla maggior parte dei browser in circolazione.

Per ulteriori informazioni consultare il file Note di installazione.

Interfaccia e utilizzo

L'interfaccia del software si compone di una sola schermata principale, dal quale è possibile effettuare tutte le azioni del caso.

Essa è suddivisa in:

• Tabella di verità, al quale è possibile, per ogni riga corrispondende all'input delle variabili, assegnare un valore compreso tra 0, 1 e X, che verrà riportato in maniera sincronizzata sulla mappa presente nella schermata.
• Mappa di Karnaugh, dove, per ogni cella, è possibile modificare i valori interni tra 0, 1 e X, in maniera sincrona con la tabella di verità. In essa verranno visualizzati i gruppi formatisi dal calcolo della soluzione.
• Menù di scelta, dove è possibile scegliere quale tipologia di mappa visualizzare (2, 3 o 4 variabili), scegliere tra forma SOP e POS, riempire di 0, 1 o X tutta la mappa, elaborare la soluzione secondo i criteri scelti.
• In basso nella pagina apparirà la soluzione, identificata dai gruppi colorati che corrisponderanno ai gruppi presenti nella mappa alla fine dell'elaborazione.

Funzionamento del programma

E' possibile selezionare a piacimento i valori tra 0, 1 e X da assegnare ad ogni singola combinazione di input in ingresso, sia nella tabella di verità, sia sulla mappa. La tabella e la mappa saranno tra loro sincronizzate, in modo da lasciar libero l'utente di scegliere il proprio metodo di inserimento.

Una volta impostati i criteri nel menù di impostazione a destra della pagina, è possibile cliccare il pulsante Elabora.

Si otterrà cosi la soluzione divisa in gruppi colorati, il cui colore identifica la soluzione per ogni corrispettivo gruppo disegnato sulla mappa.