Reti Combinatorie. Ex n. 1 pag. 181

Una volta ottenuti tutti i possibili implicanti, non ci saranno più alee semplicemente perché non ci saranno più coppie di implicanti contigui non collegati tra loro da un terzo implicante. Questo si ottiene iterando più volte la procedura di consenso tra tutte le coppie di implicanti ottenuti, fino che per ogni coppia non si ottenga consenso nullo.

Attenzione: come si è detto e ripetuto a lezione, con questa tecnica è possibile eliminare solo le alee LOGICHE, poiché le alee funzionali dipendono dalla struttura intrinseca della funzione e non dalla sua implementazione, e dunque NON sono eliminabili.