L'algoritmo però mostra come semplificare una formula da un'altra però non estrarre la formula dalla mappa giusto?