Mappe di Karnaugh e Quine-McCluskey

[andres90]

Buongiorno a tutti, vorrei sottoporvi un quesito a proposito dei due metodi di minimizzazione riportati nel titolo. Esercitandomi, mi sono imbattuto in una funzione così definita:



da minimizzare con la mappa di Karnaugh ed il metodo di Quine-McCluskey. Eseguendo tutti i calcoli, alla fine pervengo esattamente alla stessa espressione con entrambi i metodi:



In altre situazioni, invece (vedi es.8 a pag.14 di questo documento ftp://ftp.elet.polimi.it/users/Fabio.Sa ... ziComb.pdf ), pervengo correttamente all'espressione della funzione col metodo di Quine-McCluskey, tuttavia volendo verificare con Karnaugh ottengo risultati differenti. E qui mi sorge un dubbio (con ogni probabilità, è una mia lacuna, ma vedeste come ci sono stati spiegati questi argomenti... .. vabbè ): è normale che talvolta possano esserci differenze? Dipende dalla scelta degli implicanti che faccio nella mappa di Karnaugh? perché in effetti, nel primo caso di cui vi ho parlato sopra, per come erano disposti gli '1' nella mappa, la scelta degli implicanti era univoca.

PS se ci fosse un modo per postarvi le due mappe, forse sarebbe tutto più semplice

[Candy]

Con FidocadJ il modo dovrebbe esserci.

In ogni caso, sarebbe bene vedere gli esercizi e tutti i passaggi fatti in modo completo.

[andres90]

a completamento del precedente post:

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

questa è la mappa relativa al primo esercizio di cui ho parlato; per il secondo, si ha:

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

in cui ho evidenziato gli implicanti che vanno sicuramente scelti, mentre poi gli altri possono essere scelti in diversi modi. E' questo all'origine della diversa espressione con il metodo di Quine-McCluskey?

[andres90]

aggiungo, inoltre, un'altra informazione che credo possa essere utile per aiutarmi in questo problema: negli esercizi in cui la minimizzazione con Karnaugh coincide perfettamente con Quine-McCluskey, osservo che, dopo aver completato la costruzione della mappa di ottima copertura, nella scrittura della funzione in forma minima sono costretto a prendere tutti gli implicanti che dispongo lungo le righe della mappa stessa; nei casi in cui c'è differenza tra i risultati dei due procedimenti, invece, dovendo usare i criteri di dominanza ed essenzialità, alcuni implicanti vengono meno. Credo, a questo punto, che sia una questione giustificata già di per sè da un punto di vista teorico ma mi sfugge questa nozione.
Che qualcuno mi llumini

[Candy]

sarebbe bene vedere gli esercizi e tutti i passaggi fatti in modo completo.

[andres90]

hai ragione, purtroppo si tratta di esercizi decisamente lunghi in cui ci sono diverse tabelle che dovrei postare (anche se il secondo esercizio è già risolto nel pdf che ho linkato). vediamo se quanto prima provo a postare qualcosa