Implicanti verso mintermini

[rugweri]

Di nulla

Una piccola nota formale che ritengo molto utile: se vediamo lo spazio delle possibili combinazioni d'ingressi di una funzione logica come l'insieme dei vertici di un ipercubo (che è in effetti il concetto che sta alla base delle mappe di Karnaugh - che null'altro fanno se non "appiattire" l'ipercubo - e del metodo di Quine-McCluskey che le generalizza), di fatto un mintermine descrive un vertice nell'ipercubo e un implicante ne descrive un intero "sottospazio". Ti faccio visualizzare il concetto con questo esempio tridimensionale (che ho preso tempo fa da delle slide di non ricordo quale corso universitario):

Queste riflessioni che ti ho proposto sono, peraltro, alla base del nome inglese degli implicanti: essi sono detti "cubes"

(Nota terminologica: nell'esempio, la "dimensione" è intesa in senso "geometrico"; probabilmente è ovvio, ma visto che stiamo formalizzando tanto vale farlo bene)

[Max2433BO]

Capito...

... quindi in una classica mappa di Karnaugh tipo questa

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

i mintermini sono, ovviamente, i prodotti logici delle variabili booleane, considerate "normali" o complementate per ottenere uno stato logico 1, delle caselle corrispondenti in tale stato logico, mentre gli implicanti sono i prodotti logici delle variabili booleane che, all'interno dei raggruppamenti blu, rosso e verde, non variano di stato logico, quindi:



perché sono i prodotti logici sufficienti a "coprire" tutti gli stati logici 1 del relativo gruppo.

Max

[rugweri]

Esatto
Se consideri ogni cella della mappa come un vertice dell'ipercubo, in sostanza quel che stai facendo è prendere i mintermini (le celle contrassegnate da un 1) e raggrupparli per determinare dei "don't care" e dunque dei sottospazi di dimensione minore rispetto a quella dell'intero ipercubo ma comunque in grado di descrivere esaustivamente la funzione logica.

A proposito di questo, è interessante riflettere sul funzionamento algebrico delle mappe di Karnaugh: nel mio articolo che ti ho citato prima spiego il concetto di "distanza di Hamming" e il suo valore nell'ambito della minimizzazione logica su un singolo livello... se non conosci l'argomento, potresti trovare interessante la lettura di quella parte dell'articolo

[Max2433BO]

... come diceva Massimo Troisi: "... mo me lo segno."

Vado, vedo e leggo

EDIT:

Anche se me lo avevi detto, fa un certo effetto essere citato come riferimento bibliografico...