metodo di Petrick

Il metodo di Petrick è un algoritmo di risoluzione dei mintermini contenuti in una tabella degli implicanti primi ricavata con il metodo di Quine-McCluskey. Tale metodo, che semplifica la copertura trasponendola in forma algebrica, risulta scomodo per tabelle molto grandi, in quanto valuta tutte le possibili soluzioni, ma è facilmente implementabile in un computer tramite algoritmi di branch and bound. Il metodo di Petrick opera seguendo questi passaggi: 1. * Riduzione della tabella degli implicanti primi eliminando le righe contenenti implicanti primi essenziali (e le rispettive colonne); 2. * Etichettatura delle righe della tabella ridotta ; 3. * Costruzione di una funzione logica tale che sia vera quando tutte le colonne sono coperte ( è costituita da un prodotto di somme, dove ogni termine di somma ha la forma , in cui rappresentano una riga che copre la colonna ); 4. * Minimizzazione di in somma di prodotti applicando l'equivalenza (ciascun termine nel risultato rappresenta una soluzione, ovvero un insieme di righe che copre tutti i mintermini della tabella); 5. * Determinazione delle soluzioni minime individuando quei termini che contengono il minor numero di implicanti primi; 6. * Conteggio del numero dei letterali in ciascun implicante primo dei termini trovati precedentemente e ricerca del numero totale di letterali; 7. * Scelta dei termini formati dal minor numero totale di letterali e scrittura delle corrispondenti somme di implicanti primi.